Searched refs:tlb_vtcr (Results 1 – 2 of 2) sorted by relevance
415 u64 tmp, sz = 0, vtcr = mmu->tlb_vtcr; in get_guest_mapping_ttl()501 switch (mmu->tlb_vtcr & VTCR_EL2_TG0_MASK) { in compute_tlb_inval_range()596 vtcr == mmu->tlb_vtcr) in lookup_s2_mmu()650 s2_mmu->tlb_vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2); in get_s2_mmu_nested()
210 u64 tlb_vtcr; member