Symbol: acpi_validate_rsdt
src/system/boot/platform/bios_ia32/acpi.cpp
138
if (acpi_validate_rsdt(rsdt) != B_OK) {
src/system/boot/platform/efi/acpi.cpp
127
if (acpi_validate_rsdt(rsdt) != B_OK) {