api/loader/data_efi.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

#pragma once

#include <kernel/memory/range.h>

#include <efi.h>

#include <stddef.h>

#define EfiUserMemoryType (EFI_MEMORY_TYPE)0x80000000
#define SystemMemoryType EfiUserMemoryType | 0x01

enum efi_boot_data_type
{
    MEMORY_MAP_DATA,
    FRAMEBUFFER_DATA,
};

struct efi_memory_map_data
{
    UINTN size;
    UINTN key;
    UINTN descsize;
    UINT32 descver;
    EFI_MEMORY_DESCRIPTOR data[];
};

struct efi_framebuffer_data
{
    struct memory_range buffer;
    UINT32 width;
    UINT32 height;
    UINT32 pitch;
    UINT8 pxsize;
    EFI_PIXEL_BITMASK bitmask;
    EFI_GRAPHICS_PIXEL_FORMAT pxformat;
};

struct efi_boot_data
{
    EFI_SYSTEM_TABLE *system_table;
    struct efi_memory_map_data *memory_map;
    struct efi_framebuffer_data *framebuffer;
    void *acpi_rsdp;
};