vp_mask           146 arch/powerpc/include/asm/kvm_book3s.h extern void kvmppc_mmu_pte_vflush(struct kvm_vcpu *vcpu, u64 vp, u64 vp_mask);
vp_mask           217 arch/powerpc/kvm/book3s_mmu_hpte.c 	u64 vp_mask = 0xfffffffffULL;
vp_mask           225 arch/powerpc/kvm/book3s_mmu_hpte.c 		if ((pte->pte.vpage & vp_mask) == guest_vp)
vp_mask           238 arch/powerpc/kvm/book3s_mmu_hpte.c 	u64 vp_mask = 0xffffffff0ULL;
vp_mask           247 arch/powerpc/kvm/book3s_mmu_hpte.c 		if ((pte->pte.vpage & vp_mask) == guest_vp)
vp_mask           260 arch/powerpc/kvm/book3s_mmu_hpte.c 	u64 vp_mask = 0xffffff000ULL;
vp_mask           269 arch/powerpc/kvm/book3s_mmu_hpte.c 		if ((pte->pte.vpage & vp_mask) == guest_vp)
vp_mask           275 arch/powerpc/kvm/book3s_mmu_hpte.c void kvmppc_mmu_pte_vflush(struct kvm_vcpu *vcpu, u64 guest_vp, u64 vp_mask)
vp_mask           277 arch/powerpc/kvm/book3s_mmu_hpte.c 	trace_kvm_book3s_mmu_flush("v", vcpu, guest_vp, vp_mask);
vp_mask           278 arch/powerpc/kvm/book3s_mmu_hpte.c 	guest_vp &= vp_mask;
vp_mask           280 arch/powerpc/kvm/book3s_mmu_hpte.c 	switch(vp_mask) {
vp_mask           437 drivers/pci/controller/pci-hyperv.c 		u64		 vp_mask;
vp_mask          1260 drivers/pci/controller/pci-hyperv.c 			params->int_target.vp_mask |=