Searched refs:tcr_el2 (Results 1 – 2 of 2) 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()
134 msr tcr_el2, x0