31#ifndef __L4_SYS_L4INT_H__
32#define __L4_SYS_L4INT_H__
unsigned long l4_umword_t
Unsigned machine word.
signed int l4_int32_t
Signed 32bit value.
unsigned long l4_addr_t
Address type.
signed long l4_mword_t
Signed machine word.
signed short int l4_int16_t
Signed 16bit value.
l4_uint64_t l4_cpu_time_t
CPU clock type.
unsigned char l4_uint8_t
Unsigned 8bit value.
signed char l4_int8_t
Signed 8bit value.
signed long long l4_int64_t
Signed 64bit value.
l4_uint64_t l4_kernel_clock_t
Kernel clock type.
unsigned int l4_uint32_t
Unsigned 32bit value.
unsigned short int l4_uint16_t
Unsigned 16bit value.
unsigned long long l4_uint64_t
Unsigned 64bit value.