|
@@ -263,9 +263,6 @@ efi_status_t efi_install_fdt(void *fdt)
|
|
|
return EFI_LOAD_ERROR;
|
|
|
}
|
|
|
|
|
|
- /* Create memory reservations as indicated by the device tree */
|
|
|
- efi_carve_out_dt_rsv(fdt);
|
|
|
-
|
|
|
/* Prepare device tree for payload */
|
|
|
ret = copy_fdt(&fdt);
|
|
|
if (ret) {
|
|
@@ -278,6 +275,9 @@ efi_status_t efi_install_fdt(void *fdt)
|
|
|
return EFI_LOAD_ERROR;
|
|
|
}
|
|
|
|
|
|
+ /* Create memory reservations as indicated by the device tree */
|
|
|
+ efi_carve_out_dt_rsv(fdt);
|
|
|
+
|
|
|
/* Install device tree as UEFI table */
|
|
|
ret = efi_install_configuration_table(&efi_guid_fdt, fdt);
|
|
|
if (ret != EFI_SUCCESS) {
|