1 extern void hp300_sched_init(void (*vector)(int, void *, struct pt_regs *));
2 extern unsigned long hp300_gettimeoffset (void);
3 
4 
5