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 __attribute__((__aligned__(8))); 12*fbf5a839Sjsg typedef uint64_t UINT64 __attribute__((__aligned__(8))); 13060fee10Skettenis 14*fbf5a839Sjsg typedef void VOID; 15060fee10Skettenis 16060fee10Skettenis typedef int32_t INTN; 17060fee10Skettenis typedef uint32_t UINTN; 18060fee10Skettenis 19060fee10Skettenis #define INTERFACE_DECL(x) struct x 20*fbf5a839Sjsg #define EFIAPI 21060fee10Skettenis 22*fbf5a839Sjsg #define EFIERR(x) (0x80000000 | x) 23