Searched refs:tlb_vttbr (Results 1 – 3 of 3) sorted by relevance
651 if (vmid == get_vmid(mmu->tlb_vttbr)) in kvm_s2_mmu_iterate_by_vmid()695 vttbr == mmu->tlb_vttbr && in lookup_s2_mmu()701 get_vmid(vttbr) == get_vmid(mmu->tlb_vttbr)) in lookup_s2_mmu()749 s2_mmu->tlb_vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2) & ~VTTBR_CNP_BIT; in get_s2_mmu_nested()771 mmu->tlb_vttbr = VTTBR_CNP_BIT; in kvm_init_nested_s2_mmu()
348 return !(mmu->tlb_vttbr & VTTBR_CNP_BIT); in kvm_s2_mmu_valid()
211 u64 tlb_vttbr; member