Symbol: acpi_rsdp
src/system/boot/platform/bios_ia32/acpi.cpp
232
acpi_rsdp* rsdp = NULL;
src/system/boot/platform/bios_ia32/acpi.cpp
242
rsdp = (acpi_rsdp*)pointer;
src/system/boot/platform/bios_ia32/acpi.cpp
43
acpi_validate_rsdp(acpi_rsdp* rsdp)
src/system/boot/platform/bios_ia32/acpi.cpp
85
acpi_check_rsdt(acpi_rsdp* rsdp)
src/system/boot/platform/efi/acpi.cpp
217
acpi_rsdp *rsdp = (acpi_rsdp *)(table[i].VendorTable);
src/system/boot/platform/efi/acpi.cpp
44
acpi_validate_rsdp(acpi_rsdp* rsdp)
src/system/boot/platform/efi/acpi.cpp
86
acpi_check_rsdt(acpi_rsdp* rsdp)