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