hc
2023-12-08 01573e231f18eb2d99162747186f59511f56b64d
1
extern void hp300_sched_init(irq_handler_t vector);