1*fbf5a839Sjsg /* Public Domain. */ 2060fee10Skettenis 3060fee10Skettenis #include <sys/stdint.h> 4060fee10Skettenis 5060fee10Skettenis typedef int8_t INT8; 6*fbf5a839Sjsg typedef uint8_t UINT8; 7*fbf5a839Sjsg typedef int16_t INT16; 8*fbf5a839Sjsg typedef uint16_t UINT16; 9*fbf5a839Sjsg typedef int32_t INT32; 10*fbf5a839Sjsg typedef uint32_t UINT32; 11*fbf5a839Sjsg typedef int64_t INT64; 12*fbf5a839Sjsg typedef uint64_t UINT64; 13060fee10Skettenis 14*fbf5a839Sjsg typedef void VOID; 15060fee10Skettenis 16060fee10Skettenis typedef int64_t INTN; 17060fee10Skettenis typedef uint64_t UINTN; 18060fee10Skettenis 19060fee10Skettenis #define INTERFACE_DECL(x) struct x 20*fbf5a839Sjsg #define EFIAPI __attribute((ms_abi)) 21060fee10Skettenis 22*fbf5a839Sjsg #define EFIERR(x) (0x8000000000000000 | x) 23