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