#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;
};