Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) /* SPDX-License-Identifier: GPL-2.0 */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3)  * Scheduler internal SMP callback types and methods between the scheduler
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4)  * and other internal parts of the core kernel:
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5)  */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) extern void sched_ttwu_pending(void *arg);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) extern void send_call_function_single_ipi(int cpu);