修改 parameter

hc

2023-02-14 a65d8712103cb143619d6c58afd5127e347b13c9

1
2
extern void hp300_sched_init(irq_handler_t vector);
extern u32 hp300_gettimeoffset(void);