kvmppc_h_remove
long kvmppc_h_remove(struct kvm_vcpu *vcpu, unsigned long flags,
ret = kvmppc_h_remove(vcpu, kvmppc_get_gpr(vcpu, 4),
EXPORT_SYMBOL_GPL(kvmppc_h_remove);