hc
2023-02-24 69f6639d1dbba0bd8eb20ddd325528241f238d61
1
2
extern void hp300_sched_init(irq_handler_t vector);
extern u32 hp300_gettimeoffset(void);