kvmppc_mmu_pte_pflush
extern void kvmppc_mmu_pte_pflush(struct kvm_vcpu *vcpu, ulong pa_start, ulong pa_end);
kvmppc_mmu_pte_pflush(vcpu, ga, ga_end);
kvmppc_mmu_pte_pflush(vcpu, range->start << PAGE_SHIFT,