19 static void fdt_update_cell_size(efi_system_table_t *sys_table, void *fdt)  in fdt_update_cell_size()  argument
30 static efi_status_t update_fdt(efi_system_table_t *sys_table, void *orig_fdt,  in update_fdt()  argument
43 			pr_efi_err(sys_table, "Device Tree header not valid!\n");  in update_fdt()
51 			pr_efi_err(sys_table, "Truncated device tree! foo!\n");  in update_fdt()
65 			fdt_update_cell_size(sys_table, fdt);  in update_fdt()
114 	fdt_val64 = cpu_to_fdt64((u64)(unsigned long)sys_table);  in update_fdt()
143 		efi_status = efi_get_random_bytes(sys_table, sizeof(fdt_val64),  in update_fdt()
247 efi_status_t allocate_new_fdt_and_exit_boot(efi_system_table_t *sys_table,  in allocate_new_fdt_and_exit_boot()  argument
278 	status = efi_get_memory_map(sys_table, &map);  in allocate_new_fdt_and_exit_boot()
280 		pr_efi_err(sys_table, "Unable to retrieve UEFI memory map.\n");  in allocate_new_fdt_and_exit_boot()
284 	pr_efi(sys_table, "Exiting boot services and installing virtual address map...\n");  in allocate_new_fdt_and_exit_boot()
287 	status = efi_high_alloc(sys_table, MAX_FDT_SIZE, EFI_FDT_ALIGN,  in allocate_new_fdt_and_exit_boot()
290 		pr_efi_err(sys_table, "Unable to allocate memory for new device tree.\n");  in allocate_new_fdt_and_exit_boot()
298 	status = efi_get_memory_map(sys_table, &map);  in allocate_new_fdt_and_exit_boot()
302 	status = update_fdt(sys_table, (void *)fdt_addr, fdt_size,  in allocate_new_fdt_and_exit_boot()
307 		pr_efi_err(sys_table, "Unable to construct new device tree.\n");  in allocate_new_fdt_and_exit_boot()
316 	status = efi_exit_boot_services(sys_table, handle, &map, &priv, exit_boot_func);  in allocate_new_fdt_and_exit_boot()
325 		svam = sys_table->runtime->set_virtual_address_map;  in allocate_new_fdt_and_exit_boot()
353 	pr_efi_err(sys_table, "Exit boot services failed.\n");  in allocate_new_fdt_and_exit_boot()
356 	efi_free(sys_table, MAX_FDT_SIZE, *new_fdt_addr);  in allocate_new_fdt_and_exit_boot()
359 	sys_table->boottime->free_pool(runtime_map);  in allocate_new_fdt_and_exit_boot()
364 void *get_fdt(efi_system_table_t *sys_table, unsigned long *fdt_size)  in get_fdt()  argument
368 	fdt = get_efi_config_table(sys_table, DEVICE_TREE_GUID);  in get_fdt()
374 		pr_efi_err(sys_table, "Invalid header detected on UEFI supplied FDT, ignoring ...\n");  in get_fdt()