Go to the documentation of this file. 1 #ifndef BOOT_COMPRESSED_EBOOT_H
2 #define BOOT_COMPRESSED_EBOOT_H
4 #define SEG_TYPE_DATA (0 << 3)
5 #define SEG_TYPE_READ_WRITE (1 << 1)
6 #define SEG_TYPE_CODE (1 << 3)
7 #define SEG_TYPE_EXEC_READ (1 << 1)
8 #define SEG_TYPE_TSS ((1 << 3) | (1 << 0))
9 #define SEG_OP_SIZE_32BIT (1 << 0)
10 #define SEG_GRANULARITY_4KB (1 << 0)
12 #define DESC_TYPE_CODE_DATA (1 << 0)
14 #define EFI_PAGE_SIZE (1UL << EFI_PAGE_SHIFT)
15 #define EFI_READ_CHUNK_SIZE (1024 * 1024)
17 #define EFI_CONSOLE_OUT_DEVICE_GUID \
18 EFI_GUID(0xd3b36f2c, 0xd551, 0x11d4, 0x9a, 0x46, 0x0, 0x90, 0x27, \
21 #define PIXEL_RGB_RESERVED_8BIT_PER_COLOR 0
22 #define PIXEL_BGR_RESERVED_8BIT_PER_COLOR 1
23 #define PIXEL_BIT_MASK 2
24 #define PIXEL_BLT_ONLY 3
25 #define PIXEL_FORMAT_MAX 4