Searched refs:start_addr_hi32 (Results 1 – 2 of 2) sorted by relevance
399 uint32_t start_addr_hi32 = 0x00000000; in riscv_setup_rom_reset_vec() local403 start_addr_hi32 = start_addr >> 32; in riscv_setup_rom_reset_vec()415 start_addr_hi32, in riscv_setup_rom_reset_vec()
520 uint32_t start_addr_hi32 = 0x00000000; in sifive_u_machine_init() local613 start_addr_hi32 = (uint64_t)start_addr >> 32; in sifive_u_machine_init()626 start_addr_hi32, in sifive_u_machine_init()