hp300_sched_init  254 arch/m68k/hp300/config.c 	mach_sched_init      = hp300_sched_init;
hp300_sched_init    1 arch/m68k/hp300/time.h extern void hp300_sched_init(irq_handler_t vector);