Defined in 2 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/sched/build_policy.c __sched_setscheduler() -> __setscheduler_dl_pi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | p | 4096-ptr_max |
| PARAM_VALUE | 3 | scope | 4096-ptr_max |
| BUF_SIZE | 2 | p->sched_class | 248 |
| CAPPED_DATA | 2 | p | 1 |
| DATA_SOURCE | 2 | p | $0 |
| DATA_SOURCE | 3 | scope | r class_sched_change_constructor |
| NOSPEC | 2 | p->rt_priority | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | newprio | 0-98[c] |
| USER_DATA | 1 | policy | 0-3,5-6[c] |
| USER_DATA | 2 | p->dl.dl_bw | 0-18446744073707454464 |
| USER_DATA | 2 | p->dl.dl_density | 0-18446744073707454464 |
| USER_DATA | 2 | p->dl.dl_period | 0[c] |
| USER_DATA | 2 | p->dl.flags | 0,2-268435462[c] |
| USER_DATA | 2 | p->normal_prio | 0-98[c] |
| USER_DATA | 2 | p->prio | 0-98[c] |
| USER_DATA | 2 | p->rt_priority | 0-99[c] |
| USER_DATA | 2 | p->sched_reset_on_fork | 0-1 |
| USER_DATA | 2 | p->se.slice | 100001-99999999 |
| NO_OVERFLOW_SIMPLE | 2 | p->dl.dl_runtime | |
| HALF_LOCKED2 | global &cpuset_mutex | ||
| HALF_LOCKED2 | global &tasklist_lock | ||
| HALF_LOCKED2 | rcu_read |