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 |