Symbol: acpi_check_rsdt
src/system/boot/platform/bios_ia32/acpi.cpp
85
acpi_check_rsdt(acpi_rsdp* rsdp)
src/system/boot/platform/efi/acpi.cpp
86
acpi_check_rsdt(acpi_rsdp* rsdp)