Search notes:

arch/x86/kernel/irq.c

Common interrupt code for 32 and 64 bit

do_IRQ()

do_IRQ handles all normal device IRQs.

Special SMP cross-CPU interrupts have their own handlers.