Searched refs:fdt_load_addr_hi32 (Results 1 – 1 of 1) sorted by relevance
400 uint32_t fdt_load_addr_hi32 = 0x00000000; in riscv_setup_rom_reset_vec() local404 fdt_load_addr_hi32 = fdt_load_addr >> 32; in riscv_setup_rom_reset_vec()417 fdt_load_addr_hi32, in riscv_setup_rom_reset_vec()