1 /* Public Domain. */ 2 3 #include <sys/stdint.h> 4 5 typedef int8_t INT8; 6 typedef uint8_t UINT8; 7 typedef int16_t INT16; 8 typedef uint16_t UINT16; 9 typedef int32_t INT32; 10 typedef uint32_t UINT32; 11 typedef int64_t INT64; 12 typedef uint64_t UINT64; 13 14 typedef void VOID; 15 16 typedef int32_t INTN; 17 typedef uint32_t UINTN; 18 19 #define INTERFACE_DECL(x) struct x 20 #define EFIAPI 21 22 #define EFIERR(x) (0x80000000 | x) 23