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