kvmppc_xive_connect_vcpu
extern int kvmppc_xive_connect_vcpu(struct kvm_device *dev,
r = kvmppc_xive_connect_vcpu(dev, vcpu, cap->args[1]);