kvmppc_mpic_disconnect_vcpu
void kvmppc_mpic_disconnect_vcpu(struct openpic *opp, struct kvm_vcpu *vcpu);
kvmppc_mpic_disconnect_vcpu(vcpu->arch.mpic, vcpu);