00001 /* $Id: l4int.h 30206 2007-10-03 13:57:52Z adam $ */ 00002 /*****************************************************************************/ 00011 /*****************************************************************************/ 00012 #ifndef _L4_SYS_L4INT_H 00013 #define _L4_SYS_L4INT_H 00014 00015 #define L4_MWORD_BITS 32 00017 /* fixed sized data types */ 00018 typedef signed char l4_int8_t; 00019 typedef unsigned char l4_uint8_t; 00020 typedef signed short int l4_int16_t; 00021 typedef unsigned short int l4_uint16_t; 00022 typedef signed int l4_int32_t; 00023 typedef unsigned int l4_uint32_t; 00024 typedef signed long long l4_int64_t; 00025 typedef unsigned long long l4_uint64_t; 00027 /* some common data types */ 00028 typedef unsigned long l4_addr_t; 00029 typedef unsigned long l4_offs_t; 00030 typedef unsigned int l4_size_t; 00031 typedef signed int l4_ssize_t; 00033 typedef signed long l4_mword_t; 00034 typedef unsigned long l4_umword_t; 00036 typedef l4_uint64_t l4_cpu_time_t; 00038 typedef l4_uint64_t l4_kernel_clock_t; 00040 #endif /* !_L4_SYS_L4INT_H */