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