atari_sched_init   80 arch/m68k/atari/config.c extern void atari_sched_init(irq_handler_t);
atari_sched_init  203 arch/m68k/atari/config.c 	mach_sched_init      = atari_sched_init;