1 /* SPDX-License-Identifier: GPL-2.0 */ 1 /* SPDX-License-Identifier: GPL-2.0 */
2 /* 2 /*
3 * Scheduler internal SMP callback types and m 3 * Scheduler internal SMP callback types and methods between the scheduler
4 * and other internal parts of the core kernel 4 * and other internal parts of the core kernel:
5 */ 5 */
6 6
7 extern void sched_ttwu_pending(void *arg); 7 extern void sched_ttwu_pending(void *arg);
8 8
9 extern bool call_function_single_prep_ipi(int 9 extern bool call_function_single_prep_ipi(int cpu);
10 10
11 #ifdef CONFIG_SMP 11 #ifdef CONFIG_SMP
12 extern void flush_smp_call_function_queue(void 12 extern void flush_smp_call_function_queue(void);
13 #else 13 #else
14 static inline void flush_smp_call_function_que 14 static inline void flush_smp_call_function_queue(void) { }
15 #endif 15 #endif
16 16
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.