Searched refs:TCR_TG1_MASK (Results 1 – 2 of 2) sorted by relevance
302 #define TCR_TG1_MASK (UL(3) << TCR_TG1_SHIFT) macro
187 tg = FIELD_GET(TCR_TG1_MASK, tcr); in setup_s1_walk()