Searched refs:rsdp_phy_add (Results 1 – 1 of 1) sorted by relevance
39 uintptr_t search_phy_add, rsdp_phy_add; in bios_acpi_rsdp_get() local47 rsdp_phy_add = bios_search_rsdp_buff(search_phy_add, DATA_SIZE_K(1u)); in bios_acpi_rsdp_get()48 if (rsdp_phy_add) { in bios_acpi_rsdp_get()49 return (void *)rsdp_phy_add; in bios_acpi_rsdp_get()