|
@@ -326,6 +326,7 @@ void __init efi_idmap_init(void)
|
|
|
|
|
|
/* boot time idmap_pg_dir is incomplete, so fill in missing parts */
|
|
|
efi_setup_idmap();
|
|
|
+ early_memunmap(memmap.map, memmap.map_end - memmap.map);
|
|
|
}
|
|
|
|
|
|
static int __init remap_region(efi_memory_desc_t *md, void **new)
|
|
@@ -380,7 +381,6 @@ static int __init arm64_enter_virtual_mode(void)
|
|
|
}
|
|
|
|
|
|
mapsize = memmap.map_end - memmap.map;
|
|
|
- early_memunmap(memmap.map, mapsize);
|
|
|
|
|
|
if (efi_runtime_disabled()) {
|
|
|
pr_info("EFI runtime services will be disabled.\n");
|