lin
2025-03-21 c2c82c91f6acd44c57766034b6ced0c53c164a55
1
2
extern void hp300_sched_init(irq_handler_t vector);
extern u32 hp300_gettimeoffset(void);