intr_resume
intr_resume(/*suspend_cancelled*/false);
intr_resume(false);
intr_resume(xen_suspend_cancelled != 0);
intr_resume(/*suspend_cancelled*/false);
void intr_resume(bool suspend_cancelled);