Searched refs:uint128_t (Results 1 – 5 of 5) sorted by relevance
17 uint128_t plat_init_apkey(void) in plat_init_apkey()27 return ((uint128_t)(key_hi) << 64) | key_lo; in plat_init_apkey()
29 typedef unsigned __int128 uint128_t; typedef
49 uint128_t tsp_get_magic(void);
209 uint128_t service_args; in tsp_smc_handler()
2382 Return : uint128_t
Completed in 12 milliseconds