api/kernel/entry.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
46
47
48
49
50
51
52
53
54
55
56
57
58
59

#pragma once

#include <stddef.h>
#include <kernel/memory/range.h>

enum video_pixel_format
{
    NO_VIDEO_FORMAT,
    RGBA32BPP_VIDEO_FORMAT,
    BGRA32BPP_VIDEO_FORMAT
};

enum acpi_version
{
    ACPI_LEGACY,
    ACPI_CURRENT
};

struct kc_boot_data_buffer
{
    unsigned char *base;
    unsigned char *current;
    size_t max_size;
    size_t available_size;
};

struct kc_boot_memory_data
{
    struct memory_range *entries;
    size_t count;
};

struct kc_boot_video_data
{
    struct memory_range framebuffer;
    uint16_t width;
    uint16_t height;
    size_t pitch;
    enum video_pixel_format format;
};

struct kc_boot_acpi_data
{
    void *rsdp;
    enum acpi_version version;
};

typedef int (*kc_entry_func)(void *parameters);

struct kc_boot_data
{
    struct kc_boot_data_buffer buffer;
    struct kc_boot_memory_data memory;
    struct kc_boot_video_data video;
    struct kc_boot_acpi_data acpi;
};

struct kc_boot_data *get_boot_data(void);