Searched refs:bios_ext_data (Results 1 – 1 of 1) sorted by relevance
38 uint8_t *bios_ext_data, *zero_page_base; in bios_acpi_rsdp_get() local42 bios_ext_data = EBDA_ADD + zero_page_base; in bios_acpi_rsdp_get()43 search_phy_add = (uintptr_t)((*(uint16_t *)bios_ext_data) << 4u); in bios_acpi_rsdp_get()
