hc
2023-11-06 36f0949ef9854b82a9a3154d970da4e3b8d12a61
1
2
extern void hp300_sched_init(irq_handler_t vector);
extern u32 hp300_gettimeoffset(void);