Searched refs:VTCR_EL2_TG0_4K (Results 1 – 1 of 1) sorted by relevance
117 #define VTCR_EL2_TG0_4K (0 << 14) macro163 #define VTCR_EL2_FLAGS (VTCR_EL2_TG0_4K | VTCR_EL2_SH0_INNER | \