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