Searched refs:uint128_t (Results 1 – 7 of 7) sorted by relevance
| /trusted-firmware-a/plat/arm/common/aarch64/ |
| A D | arm_pauth.c | 17 uint128_t plat_init_apkey(void) in plat_init_apkey()
27 return ((uint128_t)(key_hi) << 64) | key_lo; in plat_init_apkey()
|
| /trusted-firmware-a/include/lib/libc/aarch64/ |
| A D | stdint_.h | 29 typedef unsigned __int128 uint128_t; typedef
|
| /trusted-firmware-a/bl32/tsp/ |
| A D | tsp_private.h | 64 uint128_t tsp_get_magic(void);
|
| A D | tsp_main.c | 368 uint128_t service_args; in tsp_smc_handler()
|
| /trusted-firmware-a/docs/build/TF-A_2.5/ |
| A D | searchindex.js | 1 …29,130,131,132,133,134,135,136,137,138,139,140,141,142,143],uf:6,uid:56,uint128_t:53,uint16_t:[38,…
|
| /trusted-firmware-a/docs/getting_started/ |
| A D | porting-guide.rst | 2008 Return : uint128_t
|
| /trusted-firmware-a/docs/build/TF-A_2.5/_sources/getting_started/ |
| A D | porting-guide.rst.txt | 2008 Return : uint128_t
|
Completed in 34 milliseconds