Searched refs:TCR_TG0_MASK (Results 1 – 2 of 2) sorted by relevance
116 #define TCR_EL2_TG0_MASK TCR_TG0_MASK131 #define VTCR_EL2_TG0_MASK TCR_TG0_MASK
268 tg = FIELD_GET(TCR_TG0_MASK, tcr); in setup_s1_walk()