Symbol: acpi_validate_rsdp
src/system/boot/platform/bios_ia32/acpi.cpp
87
if (acpi_validate_rsdp(rsdp) != B_OK)
src/system/boot/platform/efi/acpi.cpp
88
if (acpi_validate_rsdp(rsdp) != B_OK)