6 typedef unsigned char uint8;
7 typedef unsigned int uint32;
8 typedef unsigned long long uint64;
10 typedef signed char int8;
12 typedef long long int64;
14 typedef long long integer_t;
15 typedef unsigned long long uinteger_t;
18 typedef uint64 physical_address_t;
21 typedef integer_t simtime_t;