Searched refs:rsdp_addr (Results 1 – 1 of 1) sorted by relevance
1882 uint64_t rsdp_addr; in efi_get_rsdp_physaddr() local1891 if ((rsdp_addr = efi_get_cfgtbl_by_guid(&EFI_RSDP_GUID_ACPI20)) == 0) { in efi_get_rsdp_physaddr()1893 rsdp_addr = efi_get_cfgtbl_by_guid(&EFI_RSDP_GUID_ACPI10); in efi_get_rsdp_physaddr()1894 if (rsdp_addr == 0) { in efi_get_rsdp_physaddr()1899 return rsdp_addr; in efi_get_rsdp_physaddr()