kvmppc_h_stuff_tce
extern long kvmppc_h_stuff_tce(struct kvm_vcpu *vcpu,
EXPORT_SYMBOL_GPL(kvmppc_h_stuff_tce);
ret = kvmppc_h_stuff_tce(vcpu, kvmppc_get_gpr(vcpu, 4),
rc = kvmppc_h_stuff_tce(vcpu, liobn, ioba, tce_value, npages);