![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Fixed sized integer types, generic version. More...
Go to the source code of this file.
Typedefs | |
| typedef signed char | l4_int8_t |
| Signed 8bit value. | |
| typedef unsigned char | l4_uint8_t |
| Unsigned 8bit value. | |
| typedef signed short int | l4_int16_t |
| Signed 16bit value. | |
| typedef unsigned short int | l4_uint16_t |
| Unsigned 16bit value. | |
| typedef signed int | l4_int32_t |
| Signed 32bit value. | |
| typedef unsigned int | l4_uint32_t |
| Unsigned 32bit value. | |
| typedef signed long long | l4_int64_t |
| Signed 64bit value. | |
| typedef unsigned long long | l4_uint64_t |
| Unsigned 64bit value. | |
| typedef unsigned long | l4_addr_t |
| Address type. | |
| typedef signed long | l4_mword_t |
| Signed machine word. | |
| typedef unsigned long | l4_umword_t |
| Unsigned machine word. | |
| typedef l4_uint64_t | l4_cpu_time_t |
| CPU clock type. | |
| typedef l4_uint64_t | l4_kernel_clock_t |
| Kernel clock type. | |
Fixed sized integer types, generic version.
Definition in file l4int.h.