Searched refs:TCR_TG0_64K (Results 1 – 4 of 4) sorted by relevance
97 #define TCR_TG0_64K (1 << 14) macro
263 #define TCR_TG0_64K (UL(1) << TCR_TG0_SHIFT) macro
131 #define VTCR_EL2_TG0_64K TCR_TG0_64K
26 #define TCR_TG_FLAGS TCR_TG0_64K | TCR_TG1_64K