kvmppc_h_get_tce
extern long kvmppc_h_get_tce(struct kvm_vcpu *vcpu, unsigned long liobn,
EXPORT_SYMBOL_GPL(kvmppc_h_get_tce);
ret = kvmppc_h_get_tce(vcpu, kvmppc_get_gpr(vcpu, 4),