IRQ_SUPERVISOR_EXTERNAL
if (intr_source == IRQ_SUPERVISOR_EXTERNAL) {
source != IRQ_SUPERVISOR_EXTERNAL ||
case IRQ_SUPERVISOR_EXTERNAL: