Searched refs:rsdp_addr (Results 1 – 1 of 1) sorted by relevance
1883 uint64_t rsdp_addr; in efi_get_rsdp_physaddr() local1892 if ((rsdp_addr = efi_get_cfgtbl_by_guid(&EFI_RSDP_GUID_ACPI20)) == 0) { in efi_get_rsdp_physaddr()1894 rsdp_addr = efi_get_cfgtbl_by_guid(&EFI_RSDP_GUID_ACPI10); in efi_get_rsdp_physaddr()1895 if (rsdp_addr == 0) { in efi_get_rsdp_physaddr()1900 return rsdp_addr; in efi_get_rsdp_physaddr()