/* Convert from sandbox address space. */
addr = (uintptr_t)map_sysmem(addr, 0);
- /*
- * Do not carve out the device tree. It is already marked as
- * EFI_RUNTIME_SERVICES_DATA
- */
- if (addr == (uintptr_t)fdt)
- continue;
-
pages = efi_size_in_pages(size + (addr & EFI_PAGE_MASK));
addr &= ~EFI_PAGE_MASK;
if (!efi_add_memory_map(addr, pages, EFI_RESERVED_MEMORY_TYPE,
return EFI_INVALID_PARAMETER;
}
+ /* Create memory reservation as indicated by the device tree */
+ efi_carve_out_dt_rsv(fdt);
+
/* Prepare fdt for payload */
ret = copy_fdt(&fdt);
if (ret)
return EFI_LOAD_ERROR;
}
- efi_carve_out_dt_rsv(fdt);
-
/* Link to it in the efi tables */
ret = efi_install_configuration_table(&efi_guid_fdt, fdt);
if (ret != EFI_SUCCESS)