root/arch/m68k/hp300/time.h 
extern void hp300_sched_init(void);