Searched refs:tg0 (Results 1 – 2 of 2) sorted by relevance
440 u64 tg0 = FIELD_GET(VTCR_EL2_TG0_MASK, vtcr); in vtcr_to_tg0_pgshift() local444 switch (tg0) { in vtcr_to_tg0_pgshift()
157 u64 tg0 = tcr & TCR_TG0_MASK; in tcr_to_tg0_pgshift() local159 switch (tg0) { in tcr_to_tg0_pgshift()