411         irq_desc_t *irq = &interrupt_desc[number - 32];  in do_IRQ()  local
414         if (irq != NULL && irq->handler != NULL)  in do_IRQ()
415             irq->handler(number, irq->parameter, rsp);  in do_IRQ()
419         if (irq->controller != NULL && irq->controller->ack != NULL)  in do_IRQ()
420             irq->controller->ack(number);  in do_IRQ()
429             irq_desc_t *irq = &SMP_IPI_desc[number - 200];  in do_IRQ()  local
430             if (irq->handler != NULL)  in do_IRQ()
431                 irq->handler(number, irq->parameter, rsp);  in do_IRQ()
436         irq_desc_t *irq = &local_apic_interrupt_desc[number - 150];  in do_IRQ()  local
439         if (irq != NULL && irq->handler != NULL)  in do_IRQ()
440             irq->handler(number, irq->parameter, rsp);  in do_IRQ()
444         if (irq->controller != NULL && irq->controller->ack != NULL)  in do_IRQ()
445             irq->controller->ack(number);  in do_IRQ()