1/* SPDX-License-Identifier: GPL-2.0 */
2
3#define IDX_INVALID -1
4
5struct cpudl_item {
6 u64 dl;
7 int cpu;
8 int idx;
9};
10
11struct cpudl {
12 raw_spinlock_t lock;
13 int size;
14 cpumask_var_t free_cpus;
15 struct cpudl_item *elements;
16};
17
18#ifdef CONFIG_SMP
19int cpudl_find(struct cpudl *cp, struct task_struct *p, struct cpumask *later_mask);
20void cpudl_set(struct cpudl *cp, int cpu, u64 dl);
21void cpudl_clear(struct cpudl *cp, int cpu);
22int cpudl_init(struct cpudl *cp);
23void cpudl_set_freecpu(struct cpudl *cp, int cpu);
24void cpudl_clear_freecpu(struct cpudl *cp, int cpu);
25void cpudl_cleanup(struct cpudl *cp);
26#endif /* CONFIG_SMP */
27

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