19 efi_status_t update_fdt(efi_system_table_t *sys_table, void *orig_fdt,  in update_fdt()  argument
35 			pr_efi_err(sys_table, "Device Tree header not valid!\n");  in update_fdt()
43 			pr_efi_err(sys_table, "Truncated device tree! foo!\n");  in update_fdt()
120 	fdt_val64 = cpu_to_fdt64((u64)(unsigned long)sys_table);  in update_fdt()
186 efi_status_t allocate_new_fdt_and_exit_boot(efi_system_table_t *sys_table,  in allocate_new_fdt_and_exit_boot()  argument
209 	status = efi_get_memory_map(sys_table, &runtime_map, &map_size,  in allocate_new_fdt_and_exit_boot()
212 		pr_efi_err(sys_table, "Unable to retrieve UEFI memory map.\n");  in allocate_new_fdt_and_exit_boot()
216 	pr_efi(sys_table,  in allocate_new_fdt_and_exit_boot()
226 		status = efi_high_alloc(sys_table, new_fdt_size, EFI_FDT_ALIGN,  in allocate_new_fdt_and_exit_boot()
229 			pr_efi_err(sys_table, "Unable to allocate memory for new device tree.\n");  in allocate_new_fdt_and_exit_boot()
238 		status = efi_get_memory_map(sys_table, &memory_map, &map_size,  in allocate_new_fdt_and_exit_boot()
243 		status = update_fdt(sys_table,  in allocate_new_fdt_and_exit_boot()
261 			efi_free(sys_table, new_fdt_size, *new_fdt_addr);  in allocate_new_fdt_and_exit_boot()
262 			sys_table->boottime->free_pool(memory_map);  in allocate_new_fdt_and_exit_boot()
265 			pr_efi_err(sys_table, "Unable to constuct new device tree.\n");  in allocate_new_fdt_and_exit_boot()
279 	status = sys_table->boottime->exit_boot_services(handle, mmap_key);  in allocate_new_fdt_and_exit_boot()
285 		svam = sys_table->runtime->set_virtual_address_map;  in allocate_new_fdt_and_exit_boot()
313 	pr_efi_err(sys_table, "Exit boot services failed.\n");  in allocate_new_fdt_and_exit_boot()
316 	sys_table->boottime->free_pool(memory_map);  in allocate_new_fdt_and_exit_boot()
319 	efi_free(sys_table, new_fdt_size, *new_fdt_addr);  in allocate_new_fdt_and_exit_boot()
322 	sys_table->boottime->free_pool(runtime_map);  in allocate_new_fdt_and_exit_boot()
326 void *get_fdt(efi_system_table_t *sys_table, unsigned long *fdt_size)  in get_fdt()  argument
333 	tables = (efi_config_table_t *) sys_table->tables;  in get_fdt()
336 	for (i = 0; i < sys_table->nr_tables; i++)  in get_fdt()
340 				pr_efi_err(sys_table, "Invalid header detected on UEFI supplied FDT, ignoring ...\n");  in get_fdt()