Searched refs:VTCR_EL2_TG0_MASK (Results 1 – 2 of 2) sorted by relevance
133 #define VTCR_EL2_TG0_MASK TCR_TG0_MASK macro
339 switch (vtcr & VTCR_EL2_TG0_MASK) { in vtcr_to_walk_info() 475 switch (vtcr & VTCR_EL2_TG0_MASK) { in get_guest_mapping_ttl() 492 switch (vtcr & VTCR_EL2_TG0_MASK) { in get_guest_mapping_ttl() 555 switch (mmu->tlb_vtcr & VTCR_EL2_TG0_MASK) { in compute_tlb_inval_range()