linux/arch/m68k/hp300/time.h

extern void hp300_sched_init(void);