Searched refs:bios_acpi_rsdp_get (Results 1 – 3 of 3) sorted by relevance
18 rsdp = bios_acpi_rsdp_get(); in acpi_rsdp_get()26 return bios_acpi_rsdp_get(); in acpi_rsdp_get()
10 void *bios_acpi_rsdp_get(void);
36 void *bios_acpi_rsdp_get(void) in bios_acpi_rsdp_get() function
