add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
#ifndef _LINUX_SCHED_ISOLATION_H
#define _LINUX_SCHED_ISOLATION_H
 
#include <linux/cpumask.h>
#include <linux/init.h>
#include <linux/tick.h>
 
enum hk_flags {
    HK_FLAG_TIMER        = 1,
    HK_FLAG_RCU        = (1 << 1),
    HK_FLAG_MISC        = (1 << 2),
    HK_FLAG_SCHED        = (1 << 3),
    HK_FLAG_TICK        = (1 << 4),
    HK_FLAG_DOMAIN        = (1 << 5),
    HK_FLAG_WQ        = (1 << 6),
    HK_FLAG_MANAGED_IRQ    = (1 << 7),
    HK_FLAG_KTHREAD        = (1 << 8),
};
 
#ifdef CONFIG_CPU_ISOLATION
DECLARE_STATIC_KEY_FALSE(housekeeping_overridden);
extern int housekeeping_any_cpu(enum hk_flags flags);
extern const struct cpumask *housekeeping_cpumask(enum hk_flags flags);
extern bool housekeeping_enabled(enum hk_flags flags);
extern void housekeeping_affine(struct task_struct *t, enum hk_flags flags);
extern bool housekeeping_test_cpu(int cpu, enum hk_flags flags);
extern void __init housekeeping_init(void);
 
#else
 
static inline int housekeeping_any_cpu(enum hk_flags flags)
{
    return smp_processor_id();
}
 
static inline const struct cpumask *housekeeping_cpumask(enum hk_flags flags)
{
    return cpu_possible_mask;
}
 
static inline bool housekeeping_enabled(enum hk_flags flags)
{
    return false;
}
 
static inline void housekeeping_affine(struct task_struct *t,
                       enum hk_flags flags) { }
static inline void housekeeping_init(void) { }
#endif /* CONFIG_CPU_ISOLATION */
 
static inline bool housekeeping_cpu(int cpu, enum hk_flags flags)
{
#ifdef CONFIG_CPU_ISOLATION
    if (static_branch_unlikely(&housekeeping_overridden))
        return housekeeping_test_cpu(cpu, flags);
#endif
    return true;
}
 
#endif /* _LINUX_SCHED_ISOLATION_H */