Searched refs:tcr_el2 (Results 1 – 5 of 5) sorted by relevance
18 static inline u64 tcr_el2_ps_to_tcr_el1_ips(u64 tcr_el2) in tcr_el2_ps_to_tcr_el1_ips() argument20 return (u64)FIELD_GET(TCR_EL2_PS_MASK, tcr_el2) << TCR_IPS_SHIFT; in tcr_el2_ps_to_tcr_el1_ips()
173 unsigned long tcr_el2; member
134 msr tcr_el2, x0
142 DEFINE(NVHE_INIT_TCR_EL2, offsetof(struct kvm_nvhe_init_params, tcr_el2)); in main()
2040 params->tcr_el2 = tcr; in cpu_prepare_hyp_mode()