disable pwm7

hc

2023-11-22 f743a7adbd6e230d66a6206fa115b59fec2d88eb

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