mfptimer_irq      135 arch/m68k/atari/ataints.c 	int handler_irq, mfptimer_irq, server_irq;
mfptimer_irq      141 arch/m68k/atari/ataints.c 	.mfptimer_irq	= IRQ_MFP_TIMER1,
mfptimer_irq      151 arch/m68k/atari/ataints.c 	mach_irq = base->mfptimer_irq;