Defined in 3 files as a member:
- include/linux/sched.h, line 713 (as a member)
- include/linux/sched.h, line 892 (as a member)
- kernel/sched/sched.h, line 1248 (as a member)
Defined in 1 files as a function:
Referenced in 7 files:
- include/linux/sched/deadline.h
- kernel/sched/core.c
-
kernel/sched/deadline.c
- line 70
- line 110
- line 305
- line 320
- line 436
- line 460
- line 1035
- line 1113
- line 1220
- line 1428
- line 1435
- line 1455
- line 1512
- line 1518
- line 1540
- line 1801
- line 1822
- line 1859
- line 1863
- line 1870
- line 1874
- line 2159
- line 2170
- line 2198
- line 2260
- line 2272
- line 2289
- line 2539
- line 2560
- line 2830
- line 2836
- line 3456
- line 3461
- line 3470
- line 3475
- line 3953
- kernel/sched/sched.h
- kernel/sched/topology.c
- kernel/trace/rv/monitors/deadline/deadline.h
- kernel/trace/rv/monitors/nomiss/nomiss.c
Smatch caller information:
kernel/sched/build_policy.c __pick_task_dl() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | dl_se | r pick_next_dl_entity |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | irq |
kernel/sched/build_policy.c __schedstats_from_dl_se() -> dl_server()
| 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 |
| PREEMPT_ADD | |||
| 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 cancel_dl_timer() -> dl_server()
| 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 |
| PREEMPT_ADD | |||
| 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 |
kernel/sched/build_policy.c dec_dl_tasks() -> dl_server()
| 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 | |||
| 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 dequeue_task_dl() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| PARAM_VALUE | 0 | dl_se->dl_server | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | dl_se->runtime | 1-17592186044415[c] |
| NO_OVERFLOW_SIMPLE | 0 | dl_se->dl_runtime | |
| HALF_LOCKED2 | &p->pi_lock | ||
| HALF_LOCKED2 | &p->sighand->siglock | ||
| HALF_LOCKED2 | &p->signal->exec_update_lock | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | rf.flags | ||
| HALF_LOCKED2 | rq |
kernel/sched/build_policy.c dl_get_type() -> dl_server()
| 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 |
| STR_LEN | 0 | dl_se | (-1),8-9,11-29,31-34,38 |
| STR_LEN | 0 | dl_se | (-1),8-9,11-29,31-34,38 |
| PREEMPT_ADD | |||
| 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_rq_change_utilization() -> dl_server()
| 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 |
| CAPPED_DATA | 0 | dl_se->inactive_timer.base | 1 |
| CAPPED_DATA | 0 | dl_se->inactive_timer.base->cpu_base | 1 |
| CAPPED_DATA | 0 | dl_se->inactive_timer.base->running | 1 |
| CAPPED_DATA | 0 | &dl_se->inactive_timer | 1 |
| DATA_SOURCE | 0 | dl_se | $1 |
| PARAM_COMPARE | 0 | &dl_se->inactive_timer | != $0->inactive_timer.base->running |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | dl_se->dl_runtime | |
| HALF_LOCKED2 | &dl_b->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | _T->rf.flags |
kernel/sched/build_policy.c dl_server_add_bw() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| BUF_SIZE | 0 | dl_se | 272 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &rd->dl_bw.lock | ||
| LOCK2 | global &sched_domains_mutex | ||
| LOCK2 | irq | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &cpuset_mutex | ||
| TYPE_LOCK | (struct dl_bw)->lock |
kernel/sched/build_policy.c dl_server_start() -> dl_server()
| 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 | 0-u64max[c] |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | _T->rf.flags |
kernel/sched/build_policy.c dl_server_stop() -> dl_server()
| 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 | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | _T->rf.flags | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | rf.flags | ||
| HALF_LOCKED2 | rq |
kernel/sched/build_policy.c dl_task_of() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| PARAM_VALUE | 0 | dl_se->dl_server | 0 |
| 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 |
| PREEMPT_ADD | |||
| 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 | |
| HALF_LOCKED2 | irq |
kernel/sched/build_policy.c dl_task_timer() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
kernel/sched/build_policy.c enqueue_task_dl() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| BUF_SIZE | 0 | dl_se | 272 |
| CAPPED_DATA | 0 | dl_se | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c inactive_task_timer() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
kernel/sched/build_policy.c inactive_task_timer() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
kernel/sched/build_policy.c inactive_task_timer() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
kernel/sched/build_policy.c inc_dl_tasks() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| 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 rq_of_dl_se() -> dl_server()
| 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 |
| PREEMPT_ADD | |||
| 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 sched_init_dl_servers() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| BUF_SIZE | 0 | dl_se | 272 |
| LOCK2 | _T->lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | global &once_lock |
kernel/sched/build_policy.c start_dl_timer() -> dl_server()
| 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 task_non_contending() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| CAPPED_DATA | 0 | dl_se | 1 |
| CAPPED_DATA | 0 | &dl_se->inactive_timer | 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_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| CAPPED_DATA | 0 | dl_se | 1 |
| CAPPED_DATA | 0 | dl_se->inactive_timer.base | 1 |
| DATA_SOURCE | 0 | dl_se | $0 |
| PARAM_COMPARE | 0 | &dl_se->inactive_timer | != $0->inactive_timer.base->running |
| 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_server()
| 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/build_policy.c update_curr_dl_se() -> dl_server()
| 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/build_policy.c update_curr_dl_se() -> dl_server()
| 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/build_policy.c update_curr_dl_se() -> dl_server()
| 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 | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | dl_se->dl_runtime |
kernel/sched/build_policy.c update_curr_dl_se() -> dl_server()
| 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 | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | dl_se->dl_runtime |
kernel/sched/build_policy.c update_dl_entity() -> dl_server()
| 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/trace/rv/monitors/nomiss/nomiss.c dl_task_of() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dl_se | 4096-ptr_max |
| DATA_SOURCE | 0 | dl_se | $0 |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &tasklist_lock | ||
| HALF_LOCKED2 | rcu_read |
kernel/trace/rv/monitors/nomiss/nomiss.c get_entity_id() -> dl_server()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | dl_se | $0 |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &tasklist_lock | ||
| HALF_LOCKED2 | rcu_read |