Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/sched/build_policy.c add_rq_bw() -> dl_entity_is_special()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
BUF_SIZE 0 dl_se (-1),272
BUF_SIZE 0 dl_se (-1),272
CAPPED_DATA 0 dl_se 1
DATA_SOURCE 0 dl_se $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dl_se->dl_bw 0-18446744073707454464
USER_DATA 0 dl_se->dl_deadline 100000-4194304000
USER_DATA 0 dl_se->dl_density 0-18446744073707454464
USER_DATA 0 dl_se->dl_period 100000-4194304000
USER_DATA 0 dl_se->dl_runtime 1-u64max[c]
USER_DATA 0 dl_se->runtime 1-17592186044415[c]
NO_OVERFLOW_SIMPLE 0 dl_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 dl_se->pi_se->dl_runtime

kernel/sched/build_policy.c add_running_bw() -> dl_entity_is_special()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
BUF_SIZE 0 dl_se (-1),272
BUF_SIZE 0 dl_se (-1),272
CAPPED_DATA 0 dl_se 1
DATA_SOURCE 0 dl_se $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dl_se->dl_bw 0-18446744073707454464
USER_DATA 0 dl_se->dl_deadline 100000-4194304000
USER_DATA 0 dl_se->dl_density 0-18446744073707454464
USER_DATA 0 dl_se->dl_period 100000-4194304000
USER_DATA 0 dl_se->dl_runtime 1-u64max[c]
USER_DATA 0 dl_se->runtime 1-17592186044415[c]
NO_OVERFLOW_SIMPLE 0 dl_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 dl_se->pi_se->dl_runtime

kernel/sched/build_policy.c dl_add_task_root_domain() -> dl_entity_is_special()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &p->pi_lock
LOCK2 global &sched_domains_mutex
LOCK2 rf.flags
HALF_LOCKED2 global &cpuset_mutex
TYPE_LOCK (struct task_struct)->pi_lock

kernel/sched/build_policy.c dl_entity_preempt() -> dl_entity_is_special()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
BUF_SIZE 0 dl_se (-1),272
BUF_SIZE 0 dl_se (-1),272
CAPPED_DATA 0 dl_se 1
DATA_SOURCE 0 dl_se $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dl_se->dl_bw 0-18446744073707454464
USER_DATA 0 dl_se->dl_deadline 100000-4194304000
USER_DATA 0 dl_se->dl_density 0-18446744073707454464
USER_DATA 0 dl_se->dl_period 100000-4194304000
USER_DATA 0 dl_se->dl_runtime 1-u64max[c]
NO_OVERFLOW_SIMPLE 0 dl_se->dl_runtime
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 rcu_read

kernel/sched/build_policy.c dl_task_check_affinity() -> dl_entity_is_special()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max

kernel/sched/build_policy.c sub_rq_bw() -> dl_entity_is_special()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
CAPPED_DATA 0 dl_se 1
DATA_SOURCE 0 dl_se $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dl_se->runtime 1-17592186044415[c]
NO_OVERFLOW_SIMPLE 0 dl_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 dl_se->pi_se->dl_runtime

kernel/sched/build_policy.c sub_running_bw() -> dl_entity_is_special()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
CAPPED_DATA 0 dl_se 1
DATA_SOURCE 0 dl_se $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dl_se->runtime 1-17592186044415[c]
NO_OVERFLOW_SIMPLE 0 dl_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 dl_se->pi_se->dl_runtime

kernel/sched/build_policy.c task_non_contending() -> dl_entity_is_special()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
CAPPED_DATA 0 dl_se 1
DATA_SOURCE 0 dl_se $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dl_se->runtime 1-17592186044415[c]
NO_OVERFLOW_SIMPLE 0 dl_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 dl_se->pi_se->dl_runtime

kernel/sched/build_policy.c update_curr_dl_se() -> dl_entity_is_special()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
BUF_SIZE 0 dl_se (-1),272
BUF_SIZE 0 dl_se (-1),272
DATA_SOURCE 0 dl_se $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dl_se->dl_runtime

kernel/sched/core.c dl_entity_preempt() -> dl_entity_is_special()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
DATA_SOURCE 0 dl_se $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &lock->wait_lock
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct rt_mutex_base)->wait_lock