Ingo Molnar | 1f8db41 | 2020-05-28 11:01:34 +0200 | [diff] [blame] | 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 void send_call_function_single_ipi(int cpu); |