Deprecated Linux kernel 5.10.110 for OrangePi 5/5B/5+ boards
extern void hp300_sched_init(irq_handler_t vector);