File legacy/kcore/type.x86.64.i from the latest check-in
#define KVarch x86 #define KVbits 64 typedef unsigned long long sz; typedef unsigned char u8; typedef signed char s8; typedef unsigned short u16; typedef signed short s16; typedef unsigned long u32; typedef signed long s32; typedef unsigned long long u64; typedef signed long long s64; typedef __uint128_t u128; typedef __int128_t s128; typedef u64 word; typedef s64 sword;