Searched refs:sysreg_t (Results 1 – 5 of 5) sorted by relevance
15 typedef uint128_t sysreg_t; typedef17 #define PAR_EL1_D128 (((sysreg_t)(1ULL)) << (64))30 typedef uint64_t sysreg_t; typedef
46 sysreg_t par_el1;47 sysreg_t ttbr0_el1;48 sysreg_t ttbr1_el1;115 sysreg_t rcwmask_el1;116 sysreg_t rcwsmask_el1;197 = (sysreg_t) (val))296 = (sysreg_t) (val))
50 sysreg_t vttbr_el2;51 sysreg_t ttbr0_el2;81 sysreg_t ttbr1_el2;237 = (sysreg_t) (val))280 = (sysreg_t) (val))
13 static inline uint64_t get_par_el1_pa(sysreg_t par) in get_par_el1_pa()
188 sysreg_t par; in plat_sdei_validate_entry_point()