Symbol: acpi_validate_rsdp
src/system/boot/platform/bios_ia32/acpi.cpp
43
acpi_validate_rsdp(acpi_rsdp* rsdp)
src/system/boot/platform/efi/acpi.cpp
44
acpi_validate_rsdp(acpi_rsdp* rsdp)