Searched refs:VTCR_EL2_TG0_MASK (Results 1 – 2 of 2) sorted by relevance
309 switch (vtcr & VTCR_EL2_TG0_MASK) { in vtcr_to_walk_info()421 switch (vtcr & VTCR_EL2_TG0_MASK) { in get_guest_mapping_ttl()438 switch (vtcr & VTCR_EL2_TG0_MASK) { in get_guest_mapping_ttl()501 switch (mmu->tlb_vtcr & VTCR_EL2_TG0_MASK) { in compute_tlb_inval_range()
130 #define VTCR_EL2_TG0_MASK TCR_TG0_MASK macro