#include <platform_defs.hpp>
Public Attributes | |
void * | fdt |
pointer to the device tree | |
ptr_t | rsdp_addr |
u32 | rsdp_revision |
Definition at line 67 of file platform_defs.hpp.
void* fdt |
pointer to the device tree
Definition at line 69 of file platform_defs.hpp.
ptr_t rsdp_addr |
Definition at line 70 of file platform_defs.hpp.
u32 rsdp_revision |
Definition at line 71 of file platform_defs.hpp.