Symbol: acpi_validate_rsdt
src/system/boot/platform/bios_ia32/acpi.cpp
73
acpi_validate_rsdt(acpi_descriptor_header* rsdt)
src/system/boot/platform/efi/acpi.cpp
74
acpi_validate_rsdt(acpi_descriptor_header* rsdt)