Lines Matching refs:fdt_val64
43 u64 fdt_val64; in update_fdt() local
119 fdt_val64 = cpu_to_fdt64((u64)(unsigned long)sys_table); in update_fdt()
121 &fdt_val64, sizeof(fdt_val64)); in update_fdt()
125 fdt_val64 = U64_MAX; /* placeholder */ in update_fdt()
127 &fdt_val64, sizeof(fdt_val64)); in update_fdt()
150 efi_status = efi_get_random_bytes(sys_table, sizeof(fdt_val64), in update_fdt()
151 (u8 *)&fdt_val64); in update_fdt()
154 &fdt_val64, sizeof(fdt_val64)); in update_fdt()
173 u64 fdt_val64; in update_fdt_memmap() local
180 fdt_val64 = cpu_to_fdt64((unsigned long)*map->map); in update_fdt_memmap()
182 &fdt_val64, sizeof(fdt_val64)); in update_fdt_memmap()