Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/sched/build_policy.c __do_sys_sched_getattr() -> task_has_dl_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 1-u64max
DATA_SOURCE 0 p r find_process_by_pid
LOCK2 rcu_read

kernel/sched/build_policy.c __do_sys_sched_getattr() -> task_has_dl_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 1-u64max
DATA_SOURCE 0 p r find_process_by_pid
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
CAPPED_DATA 0 p->cgroups 1
DATA_SOURCE 0 p $0

kernel/sched/build_policy.c get_params() -> task_has_dl_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
HALF_LOCKED2 rcu_read

kernel/sched/build_policy.c sched_dl_overflow() -> task_has_dl_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
CAPPED_DATA 0 p->dl.dl_bw 1
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 p->dl.dl_runtime
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read

kernel/sched/build_policy.c sched_dl_overflow() -> task_has_dl_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 p->dl.dl_runtime
LOCK2 &dl_b->lock
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct dl_bw)->lock

kernel/sched/build_policy.c sched_dl_overflow() -> task_has_dl_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->policy 0-s32max
DATA_SOURCE 0 p $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 p->dl.dl_runtime
LOCK2 &dl_b->lock
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct dl_bw)->lock

kernel/sched/build_policy.c sched_dl_overflow() -> task_has_dl_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 p->dl.dl_runtime
LOCK2 &dl_b->lock
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct dl_bw)->lock

kernel/sched/build_policy.c set_user_nice() -> task_has_dl_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ipvs->est_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read

kernel/sched/build_utility.c proc_sched_show_task() -> task_has_dl_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->policy 0-4294967295
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

kernel/sched/core.c restrict_cpus_allowed_ptr() -> task_has_dl_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
PREEMPT_ADD <- disables preempt
LOCK2 rf.flags
LOCK2 0 &p->pi_lock
TYPE_LOCK (struct task_struct)->pi_lock

kernel/sched/core.c sched_fork() -> task_has_dl_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
CAPPED_DATA 0 p->mempolicy 1
DATA_SOURCE 0 p $1
BIT_INFO 0 p->flags 0x40,0xffffffffffffffff
MEM_ZERO 0 &p->dl.dl_timer
MEM_ZERO 0 &p->dl.inactive_timer
MEM_ZERO 0 &p->ioac
MEM_ZERO 0 &p->irqtrace
MEM_ZERO 0 &p->pending.signal
MEM_ZERO 0 &p->posix_cputimers
MEM_ZERO 0 &p->stats
MEM_ZERO 0 &p->unwind_info
MEM_ZERO 0 &p->unwind_info.unwind_mask
RX_PATH
TASK_NOT_RUNNING