add support 4g -- >ppp

hc

2023-11-24 2b26ab132d1b33b91c84c6d732456200e8c5ee77

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