kvmppc_mmu_pte_vflush - Linux

Symbol: kvmppc_mmu_pte_vflush

arch/powerpc/include/asm/kvm_book3s.h

extern void kvmppc_mmu_pte_vflush(struct kvm_vcpu *vcpu, u64 vp, u64 vp_mask);

arch/powerpc/kvm/book3s_32_mmu_host.c

kvmppc_mmu_pte_vflush(vcpu, pte->vpage, 0xfffffffffULL);

arch/powerpc/kvm/book3s_64_mmu.c

kvmppc_mmu_pte_vflush(v, va >> 12, mask);

arch/powerpc/kvm/book3s_64_mmu_host.c

kvmppc_mmu_pte_vflush(vcpu, pte->vpage, mask);