blob: 1d77b55cc72a0c24bc7de05e1e80add0ca0e3b36 [file] [log] [blame]
extern void hp300_sched_init(irq_handler_t vector);