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