Searched refs:CDL_FrameFill_BootInfo_X86_ACPI_RSDP (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/ | ||
H A D | capdl.h | 315 CDL_FrameFill_BootInfo_X86_ACPI_RSDP = SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP, enumerator in enum:__anon53 |
Completed in 75 milliseconds