4 #define L4_PTR_ARG(a) ((Address)(a))
6 #define L4_PTR_FMT "%08lx"
7 #define L4_MWORD_FMT "%08lx"
8 #define L4_X64_FMT "%016llx"
9 #define L4_ADDR_INPUT_FMT "%8x"
10 #define L4_FRAME_INPUT_FMT "%5x"
12 /// standard fixed-width types
13 typedef unsigned char Unsigned8;
14 typedef signed char Signed8;
15 typedef unsigned short Unsigned16;
16 typedef signed short Signed16;
17 typedef unsigned int Unsigned32;
18 typedef signed int Signed32;
19 typedef unsigned long long int Unsigned64;
20 typedef signed long long int Signed64;
23 typedef signed long int Smword;
24 typedef unsigned long int Mword;
31 /// (virtual or physical address) should be addr_t or something
32 typedef unsigned long int Address;
34 typedef Unsigned64 Cpu_time;