Searched refs:tlb_vtcr (Results 1 – 2 of 2) sorted by relevance
413 u64 tmp, sz = 0, vtcr = mmu->tlb_vtcr; in get_guest_mapping_ttl()499 switch (mmu->tlb_vtcr & VTCR_EL2_TG0_MASK) { in compute_tlb_inval_range()594 vtcr == mmu->tlb_vtcr) in lookup_s2_mmu()648 s2_mmu->tlb_vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2); in get_s2_mmu_nested()
207 u64 tlb_vtcr; member