Searched refs:start_addr_hi32 (Results 1 – 2 of 2) sorted by relevance
389 uint32_t start_addr_hi32 = 0x00000000; in riscv_setup_rom_reset_vec() local393 start_addr_hi32 = start_addr >> 32; in riscv_setup_rom_reset_vec()405 start_addr_hi32, in riscv_setup_rom_reset_vec()
521 uint32_t start_addr_hi32 = 0x00000000; in sifive_u_machine_init() local614 start_addr_hi32 = (uint64_t)start_addr >> 32; in sifive_u_machine_init()627 start_addr_hi32, in sifive_u_machine_init()