INT_CLASS_MC
int_class = INT_CLASS_MC;
case INT_CLASS_MC:
kvmppc_set_pending_interrupt(vcpu, INT_CLASS_MC);