1/* SPDX-License-Identifier: GPL-2.0 */2/*
3 * Scheduler internal SMP callback types and methods between the scheduler
4 * and other internal parts of the core kernel:
5 */67externvoidsched_ttwu_pending(void *arg);
89externvoidsend_call_function_single_ipi(intcpu);
10