hc
2023-11-22 d0a428a6556ea5a006e22e28b0b1cd037885fe20
1
2
extern void hp300_sched_init(irq_handler_t vector);
extern u32 hp300_gettimeoffset(void);