Searched refs:tg0 (Results 1 – 1 of 1) sorted by relevance
444 u64 tg0 = FIELD_GET(VTCR_EL2_TG0_MASK, vtcr); in vtcr_to_tg0_pgshift() local448 switch (tg0) { in vtcr_to_tg0_pgshift()