kernel/irq/handle.c

Core interrupt handling code.

Defines (among others) handle_irq_event.