Searched refs:dual32to64 (Results 1 – 1 of 1) sorted by relevance
74 uint64_t dual32to64(uint32_t high, uint32_t low) in dual32to64() function517 image_pa = dual32to64(curr_image->load_addr_hi, in opteed_handle_smc_load()643 uint64_t data_size = dual32to64(x1, x2); in opteed_smc_handler()644 uint64_t data_pa = dual32to64(x3, x4); in opteed_smc_handler()