kvmppc_mmu_invalidate_pte
extern void kvmppc_mmu_invalidate_pte(struct kvm_vcpu *vcpu, struct hpte_cache *pte);
kvmppc_mmu_invalidate_pte(vcpu, pte);