Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/sched/build_policy.c dl_server_timer() -> __push_dl_task()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rq | 4096-ptr_max |
| PARAM_VALUE | 0 | rq->clock_update_flags | 0,2-u32max |
| PARAM_VALUE | 0 | rq->donor | 4096-ptr_max |
| PARAM_VALUE | 0 | rq->donor->sched_class | 4096-ptr_max |
| PARAM_VALUE | 1 | rf | 6590615399141896200 |
| BUF_SIZE | 1 | rf | 16 |
| DATA_SOURCE | 0 | rq | r rq_of_dl_se |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
kernel/sched/build_policy.c dl_task_timer() -> __push_dl_task()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rq | 4096-ptr_max |
| PARAM_VALUE | 0 | rq->clock_update_flags | 0,2-u32max |
| PARAM_VALUE | 0 | rq->curr | 4096-ptr_max |
| PARAM_VALUE | 0 | rq->donor | 4096-ptr_max |
| PARAM_VALUE | 1 | rf | 8501391721427972096 |
| PARAM_VALUE | 1 | rf->clock_update_flags | 0 |
| CAPPED_DATA | 0 | rq | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | rq->fair_server.dl_runtime | |
| HALF_LOCKED2 | irq |