Searched refs:rsdp (Results 1 – 1 of 1) sorted by relevance
15 void *rsdp = efi_get_acpi_rsdp(); in acpi_rsdp_get() local17 if (!rsdp) { in acpi_rsdp_get()18 rsdp = bios_acpi_rsdp_get(); in acpi_rsdp_get()21 return rsdp; in acpi_rsdp_get()
