Searched refs:high32_from_64 (Results 1 – 4 of 4) 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()
53 params[1].value.a = high32_from_64(va); in tee_map_zi_va()
153 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() 2722 .a2 = high32_from_64(cookie), in set_pages()