3void*
rsdp_get(EFI_SYSTEM_TABLE* systemTable)
5 Print(L
"Searching for RSDP... ");
6 EFI_CONFIGURATION_TABLE* configTable = systemTable->ConfigurationTable;
7 EFI_GUID acpi2TableGuid = ACPI_20_TABLE_GUID;
10 for (
uint64_t i = 0; i < systemTable->NumberOfTableEntries; i++)
12 if (CompareGuid(&configTable[i].VendorGuid, &acpi2TableGuid) &&
13 CompareMem(
"RSD PTR ", configTable->VendorTable, 8) == 0)
15 rsdp = configTable->VendorTable;
22 Print(L
"failed to locate rsdp!\n");
26 Print(L
"found at %p!\n", rsdp);