Searched refs:memory_map_addr (Results 1 – 1 of 1) sorted by relevance
392 addr_t memory_map_addr = (addr_t)memory_map; in arch_mmu_generate_post_efi_page_tables() local404 efi_memory_descriptor* entry = (efi_memory_descriptor*)(memory_map_addr + i * descriptor_size); in arch_mmu_generate_post_efi_page_tables()