1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * BPF extensible scheduler class: Documentation/scheduler/sched-ext.rst
4 *
5 * Copyright (c) 2022 Meta Platforms, Inc. and affiliates.
6 * Copyright (c) 2022 Tejun Heo <tj@kernel.org>
7 * Copyright (c) 2022 David Vernet <dvernet@meta.com>
8 * Copyright (c) 2024 Andrea Righi <arighi@nvidia.com>
9 */
10#ifndef _KERNEL_SCHED_EXT_IDLE_H
11#define _KERNEL_SCHED_EXT_IDLE_H
12
13struct sched_ext_ops;
14
15void scx_idle_update_selcpu_topology(struct sched_ext_ops *ops);
16void scx_idle_init_masks(void);
17
18s32 scx_select_cpu_dfl(struct task_struct *p, s32 prev_cpu, u64 wake_flags,
19 const struct cpumask *cpus_allowed, u64 flags);
20void scx_idle_enable(struct sched_ext_ops *ops);
21void scx_idle_disable(void);
22int scx_idle_init(void);
23
24#endif /* _KERNEL_SCHED_EXT_IDLE_H */
25

source code of linux/kernel/sched/ext_idle.h