22 static void fdt_update_cell_size(efi_system_table_t *sys_table, void *fdt)  in fdt_update_cell_size()  argument
35 static efi_status_t update_fdt(efi_system_table_t *sys_table, void *orig_fdt,  in update_fdt()  argument
48 			pr_efi_err(sys_table, "Device Tree header not valid!\n");  in update_fdt()
56 			pr_efi_err(sys_table, "Truncated device tree! foo!\n");  in update_fdt()
70 			fdt_update_cell_size(sys_table, fdt);  in update_fdt()
119 	fdt_val64 = cpu_to_fdt64((u64)(unsigned long)sys_table);  in update_fdt()
150 		efi_status = efi_get_random_bytes(sys_table, sizeof(fdt_val64),  in update_fdt()
251 efi_status_t allocate_new_fdt_and_exit_boot(efi_system_table_t *sys_table,  in allocate_new_fdt_and_exit_boot()  argument
282 	status = efi_get_memory_map(sys_table, &map);  in allocate_new_fdt_and_exit_boot()
284 		pr_efi_err(sys_table, "Unable to retrieve UEFI memory map.\n");  in allocate_new_fdt_and_exit_boot()
288 	pr_efi(sys_table,  in allocate_new_fdt_and_exit_boot()
292 	status = efi_high_alloc(sys_table, MAX_FDT_SIZE, EFI_FDT_ALIGN,  in allocate_new_fdt_and_exit_boot()
295 		pr_efi_err(sys_table,  in allocate_new_fdt_and_exit_boot()
304 	status = efi_get_memory_map(sys_table, &map);  in allocate_new_fdt_and_exit_boot()
308 	status = update_fdt(sys_table, (void *)fdt_addr, fdt_size,  in allocate_new_fdt_and_exit_boot()
313 		pr_efi_err(sys_table, "Unable to construct new device tree.\n");  in allocate_new_fdt_and_exit_boot()
320 	status = efi_exit_boot_services(sys_table, handle, &map, &priv,  in allocate_new_fdt_and_exit_boot()
327 		svam = sys_table->runtime->set_virtual_address_map;  in allocate_new_fdt_and_exit_boot()
355 	pr_efi_err(sys_table, "Exit boot services failed.\n");  in allocate_new_fdt_and_exit_boot()
358 	efi_free(sys_table, MAX_FDT_SIZE, *new_fdt_addr);  in allocate_new_fdt_and_exit_boot()
361 	sys_table->boottime->free_pool(runtime_map);  in allocate_new_fdt_and_exit_boot()
365 void *get_fdt(efi_system_table_t *sys_table, unsigned long *fdt_size)  in get_fdt()  argument
372 	tables = (efi_config_table_t *) sys_table->tables;  in get_fdt()
375 	for (i = 0; i < sys_table->nr_tables; i++)  in get_fdt()
379 				pr_efi_err(sys_table, "Invalid header detected on UEFI supplied FDT, ignoring ...\n");  in get_fdt()