38 	u64 fdt_val64;  in update_fdt()  local
114 	fdt_val64 = cpu_to_fdt64((u64)(unsigned long)sys_table);  in update_fdt()
116 	status = fdt_setprop_var(fdt, node, "linux,uefi-system-table", fdt_val64);  in update_fdt()
120 	fdt_val64 = U64_MAX; /* placeholder */  in update_fdt()
122 	status = fdt_setprop_var(fdt, node, "linux,uefi-mmap-start", fdt_val64);  in update_fdt()
143 		efi_status = efi_get_random_bytes(sys_table, sizeof(fdt_val64),  in update_fdt()
144 						  (u8 *)&fdt_val64);  in update_fdt()
146 			status = fdt_setprop_var(fdt, node, "kaslr-seed", fdt_val64);  in update_fdt()
169 	u64 fdt_val64;  in update_fdt_memmap()  local
176 	fdt_val64 = cpu_to_fdt64((unsigned long)*map->map);  in update_fdt_memmap()
178 	err = fdt_setprop_inplace_var(fdt, node, "linux,uefi-mmap-start", fdt_val64);  in update_fdt_memmap()