Symbol: acpi_check_rsdt
src/system/boot/platform/bios_ia32/acpi.cpp
246
if (rsdp != NULL && acpi_check_rsdt(rsdp) == B_OK) {
src/system/boot/platform/efi/acpi.cpp
221
if (rsdp != NULL && acpi_check_rsdt(rsdp) == B_OK) {