416         irq_desc_t *irq = &interrupt_desc[number - 32];  in do_IRQ()  local
419         if (irq != NULL && irq->handler != NULL)  in do_IRQ()
420             irq->handler(number, irq->parameter, rsp);  in do_IRQ()
424         if (irq->controller != NULL && irq->controller->ack != NULL)  in do_IRQ()
425             irq->controller->ack(number);  in do_IRQ()
434             irq_desc_t *irq = &SMP_IPI_desc[number - 200];  in do_IRQ()  local
435             if (irq->handler != NULL)  in do_IRQ()
436                 irq->handler(number, irq->parameter, rsp);  in do_IRQ()
441         irq_desc_t *irq = &local_apic_interrupt_desc[number - 150];  in do_IRQ()  local
444         if (irq != NULL && irq->handler != NULL)  in do_IRQ()
445             irq->handler(number, irq->parameter, rsp);  in do_IRQ()
449         if (irq->controller != NULL && irq->controller->ack != NULL)  in do_IRQ()
450             irq->controller->ack(number);  in do_IRQ()