Searched refs:rsdp_addr (Results 1 – 1 of 1) sorted by relevance
1884 uint64_t rsdp_addr; in efi_get_rsdp_physaddr() local1893 if ((rsdp_addr = efi_get_cfgtbl_by_guid(&EFI_RSDP_GUID_ACPI20)) == 0) { in efi_get_rsdp_physaddr()1895 rsdp_addr = efi_get_cfgtbl_by_guid(&EFI_RSDP_GUID_ACPI10); in efi_get_rsdp_physaddr()1896 if (rsdp_addr == 0) { in efi_get_rsdp_physaddr()1901 return rsdp_addr; in efi_get_rsdp_physaddr()