Searched refs:TCR_TG0_16K (Results 1 – 3 of 3) sorted by relevance
264 #define TCR_TG0_16K (UL(2) << TCR_TG0_SHIFT) macro
130 #define VTCR_EL2_TG0_16K TCR_TG0_16K
28 #define TCR_TG_FLAGS TCR_TG0_16K | TCR_TG1_16K