platform_arch_info_t Struct Reference

#include <platform_defs.hpp>

Public Attributes
void *	fdt
	pointer to the device tree
ptr_t	rsdp_addr
u32	rsdp_revision

Detailed Description

Definition at line 91 of file platform_defs.hpp.

Member Data Documentation

fdt

void* fdt

pointer to the device tree

Definition at line 93 of file platform_defs.hpp.

rsdp_addr

ptr_t rsdp_addr

Definition at line 94 of file platform_defs.hpp.

rsdp_revision

u32 rsdp_revision

Definition at line 95 of file platform_defs.hpp.

---

The documentation for this struct was generated from the following files:

• kernel/arch/riscv64/include/private/mos/platform/platform_defs.hpp
• kernel/arch/x86_64/include/private/mos/platform/platform_defs.hpp