Go to the source code of this file.
#define DESC_TYPE_CODE_DATA (1 << 0) |
#define EFI_CONSOLE_OUT_DEVICE_GUID |
Value:EFI_GUID(0xd3b36f2c, 0xd551, 0x11d4, 0x9a, 0x46, 0x0, 0x90, 0x27, \
0x3f, 0xc1, 0x4d)
Definition at line 17 of file eboot.h.
#define EFI_PAGE_SIZE (1UL << EFI_PAGE_SHIFT) |
#define EFI_READ_CHUNK_SIZE (1024 * 1024) |
#define PIXEL_BGR_RESERVED_8BIT_PER_COLOR 1 |
#define PIXEL_FORMAT_MAX 4 |
#define PIXEL_RGB_RESERVED_8BIT_PER_COLOR 0 |
#define SEG_GRANULARITY_4KB (1 << 0) |
#define SEG_OP_SIZE_32BIT (1 << 0) |
#define SEG_TYPE_CODE (1 << 3) |
#define SEG_TYPE_DATA (0 << 3) |
#define SEG_TYPE_EXEC_READ (1 << 1) |
#define SEG_TYPE_READ_WRITE (1 << 1) |
#define SEG_TYPE_TSS ((1 << 3) | (1 << 0)) |