blob: ca66a039d6f2115f0f49a52d6fc0c7bda8ac4b18 [file] [log] [blame]
extern void hp300_sched_init(irqreturn_t (*vector)(int, void *));
extern unsigned long hp300_gettimeoffset (void);