Searched refs:TCR_TG0_4K (Results 1 – 4 of 4) sorted by relevance
131 #define VTCR_EL2_TG0_4K TCR_TG0_4K
297 #define TCR_TG0_4K (UL(0) << TCR_TG0_SHIFT) macro
30 #define TCR_TG_FLAGS TCR_TG0_4K | TCR_TG1_4K
203 case TCR_TG0_4K: in setup_s1_walk()