Searched refs:TCR_IPS_MASK (Results 1 – 2 of 2) sorted by relevance
308 #define TCR_IPS_MASK (UL(7) << TCR_IPS_SHIFT) macro
262 FIELD_GET(TCR_EL2_PS_MASK, tcr) : FIELD_GET(TCR_IPS_MASK, tcr)); in setup_s1_walk()