
#include <stdint.h>
#define VOID void
#define UINT8   uint8_t
#define UINT16  uint16_t
#define UINT32  uint32_t
#define UINT64  uint64_t
#define INT8   int8_t
#define INT16  int16_t
#define INT32  int32_t
#define INT64  int64_t

#define EFI_STATUS   UINT32
#define EFI_SUCCESS (0)
#define EFI_INVALID_PARAMETER (-5)


#define EFIAPI

#define IN
#define OUT
#define OPTIONAL
#define STATIC static
#undef UINT8_MAX
