taglinefilesource code
TIMER_IRQ27arch/alpha/kernel/time.c#define TIMER_IRQ 0
TIMER_IRQ28arch/i386/kernel/time.c#define TIMER_IRQ 0
TIMER_IRQ22arch/mips/kernel/time.c#define TIMER_IRQ 0
TIMER_IRQ21arch/sparc/kernel/time.c#define TIMER_IRQ  10    /* Also at level 14, but we ignore that one. */