cpu_to_fdt64
cpu_to_fdt64(atag->u.mem.start);
cpu_to_fdt64(atag->u.mem.size);
fdt_val64 = cpu_to_fdt64((unsigned long)map->map);
fdt_val64 = cpu_to_fdt64((u64)(unsigned long)efi_system_table);
value_64 = cpu_to_fdt64(value);
re.address = cpu_to_fdt64(address);
re.size = cpu_to_fdt64(size);
re->address = cpu_to_fdt64(address);
re->size = cpu_to_fdt64(size);
re->address = cpu_to_fdt64(addr);
re->size = cpu_to_fdt64(size);
fdt64_t tmp = cpu_to_fdt64(val);
fdt64_t tmp = cpu_to_fdt64(val);
fdt64_t tmp = cpu_to_fdt64(val);
fdt64_t tmp = cpu_to_fdt64(val);