Branch data Line data Source code
1 : : /* SPDX-License-Identifier: GPL-2.0 */
2 : :
3 : : /*
4 : : * SCHED_DEADLINE tasks has negative priorities, reflecting
5 : : * the fact that any of them has higher prio than RT and
6 : : * NORMAL/BATCH tasks.
7 : : */
8 : :
9 : : #define MAX_DL_PRIO 0
10 : :
11 : 88195 : static inline int dl_prio(int prio)
12 : : {
13 [ + - - - : 88083 : if (unlikely(prio < MAX_DL_PRIO))
- - - - -
- - - - -
+ - ]
14 [ # # # # : 0 : return 1;
# # # # #
# # # #
# ]
15 : : return 0;
16 : : }
17 : :
18 : 73131 : static inline int dl_task(struct task_struct *p)
19 : : {
20 [ + + - - : 73131 : return dl_prio(p->prio);
- + - - -
- - - - -
- + - - -
- - - - -
- - - - -
- ]
21 : : }
22 : :
23 : 0 : static inline bool dl_time_before(u64 a, u64 b)
24 : : {
25 [ # # # # : 0 : return (s64)(a - b) < 0;
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # #
# # # # ]
26 : : }
27 : :
28 : : #ifdef CONFIG_SMP
29 : :
30 : : struct root_domain;
31 : : extern void dl_add_task_root_domain(struct task_struct *p);
32 : : extern void dl_clear_root_domain(struct root_domain *rd);
33 : :
34 : : #endif /* CONFIG_SMP */
|