Searched refs:high32_from_64 (Results 1 – 3 of 3) sorted by relevance
240 static inline uint32_t high32_from_64(uint64_t val) in high32_from_64() function253 *reg0 = high32_from_64(val); in reg_pair_from_64()
152 args->a3 = high32_from_64(global_handle); in spmc_sp_handle_mem_share()
253 low32_from_64(bitmap), high32_from_64(bitmap)); in ffa_set_notification()