kvmppc_h_put_tce
extern long kvmppc_h_put_tce(struct kvm_vcpu *vcpu, unsigned long liobn,
EXPORT_SYMBOL_GPL(kvmppc_h_put_tce);
ret = kvmppc_h_put_tce(vcpu, kvmppc_get_gpr(vcpu, 4),
rc = kvmppc_h_put_tce(vcpu, liobn, ioba, tce);