kvmppc_mmu_pte_vflush  146 arch/powerpc/include/asm/kvm_book3s.h extern void kvmppc_mmu_pte_vflush(struct kvm_vcpu *vcpu, u64 vp, u64 vp_mask);
kvmppc_mmu_pte_vflush  260 arch/powerpc/kvm/book3s_32_mmu_host.c 	kvmppc_mmu_pte_vflush(vcpu, pte->vpage, 0xfffffffffULL);
kvmppc_mmu_pte_vflush  574 arch/powerpc/kvm/book3s_64_mmu.c 		kvmppc_mmu_pte_vflush(v, va >> 12, mask);
kvmppc_mmu_pte_vflush  220 arch/powerpc/kvm/book3s_64_mmu_host.c 	kvmppc_mmu_pte_vflush(vcpu, pte->vpage, mask);