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			__attribute((ms_abi))
21
22#define EFIERR(x)	(0x8000000000000000 | x)
23