MOS Source Code
|
#include <platform_defs.h>
Public Attributes | |
void * | fdt |
pointer to the device tree | |
ptr_t | rsdp_addr |
u32 | rsdp_revision |
size_t | xsave_size |
Definition at line 67 of file platform_defs.h.
void* fdt |
pointer to the device tree
Definition at line 69 of file platform_defs.h.
Referenced by limine_entry().
ptr_t rsdp_addr |
Definition at line 70 of file platform_defs.h.
Referenced by limine_entry(), and platform_startup_late().
u32 rsdp_revision |
Definition at line 71 of file platform_defs.h.
Referenced by limine_entry().
size_t xsave_size |
Definition at line 75 of file platform_defs.h.
Referenced by platform_context_clone(), setup_xsave_slab(), and x86_cpu_setup_xsave_area().