Searched refs:zero_page_base (Results 1 – 1 of 1) sorted by relevance
38 uint8_t *bios_ext_data, *zero_page_base; in bios_acpi_rsdp_get() local41 k_mem_map_phys_bare(&zero_page_base, 0, DATA_SIZE_K(4u), 0); in bios_acpi_rsdp_get()42 bios_ext_data = EBDA_ADD + zero_page_base; in bios_acpi_rsdp_get()44 k_mem_unmap_phys_bare(zero_page_base, DATA_SIZE_K(4u)); in bios_acpi_rsdp_get()
