Searched refs:acpi_validate_rsdp (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/include/plat/pc99/plat/machine/
H A Dacpi.h56 BOOT_CODE bool_t acpi_validate_rsdp(acpi_rsdp_t *acpi_rsdp);
/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dacpi.c241 return acpi_validate_rsdp(rsdp_data);
244 BOOT_CODE bool_t acpi_validate_rsdp(acpi_rsdp_t *acpi_rsdp) function
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c413 if (!acpi_validate_rsdp(&boot_state.acpi_rsdp)) {

Completed in 47 milliseconds