kernel/sched/smp.h

   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  */
   6
   7 extern void sched_ttwu_pending(void *arg);
   8
   9 extern bool call_function_single_prep_ipi(int cpu);
  10
  11 #ifdef CONFIG_SMP
  12 extern void flush_smp_call_function_queue(void);
  13 #else
  14 static inline void flush_smp_call_function_queue(void) { }
  15 #endif