blob: 7b98242960de76b58da5cd7fb1e72d0985091c0b [file] [log] [blame] [edit]
extern void hp300_sched_init(irq_handler_t vector);
extern unsigned long hp300_gettimeoffset(void);