Searched refs:uint128_t (Results 1 – 10 of 10) sorted by relevance
15 typedef uint128_t sysreg_t;20 uint128_t read_ ## _name(void);23 void write_ ## _name(uint128_t v);
12 uint128_t plat_init_apkey(void);
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
28 uint128_t keys = plat_init_apkey(); in pauth_init()
49 uint128_t tsp_get_magic(void);
213 uint128_t service_args; in tsp_smc_handler()
183 uint128_t *l1_quad = (uint128_t *)l1; in fill_desc()184 uint128_t l1_quad_desc = (uint128_t)l1_desc | ((uint128_t)l1_desc << 64); in fill_desc()
311 uint128_t dram_max_sz = (uint128_t)DRAM_BASE + (uint128_t)DRAM_SIZE; in is_address_in_ddr_range()312 uint128_t dram_region_end = (uint128_t)addr + (uint128_t)size; in is_address_in_ddr_range()
2713 Return : uint128_t