/* Public Domain. */

#include <sys/stdint.h>

typedef int8_t		INT8;
typedef uint8_t		UINT8;
typedef int16_t		INT16;
typedef uint16_t	UINT16;
typedef int32_t		INT32;
typedef uint32_t	UINT32;
typedef int64_t		INT64 __attribute__((__aligned__(8)));
typedef uint64_t	UINT64 __attribute__((__aligned__(8)));

typedef void		VOID;

typedef int32_t		INTN;
typedef uint32_t	UINTN;

#define INTERFACE_DECL(x)	struct x
#define EFIAPI

#define EFIERR(x)	(0x80000000 | x)