Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/build_policy.c migrate_task_rq_dl() -> cancel_inactive_timer()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 0 dl_se->flags 268435456-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 &p->sighand->siglock
HALF_LOCKED2 irq
HALF_LOCKED2 rf.flags
HALF_LOCKED2 rq

kernel/sched/build_policy.c switched_to_dl() -> cancel_inactive_timer()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/sched/build_policy.c task_contending() -> cancel_inactive_timer()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 0 dl_se->dl_non_contending 0
PARAM_VALUE 0 dl_se->dl_runtime 1-u64max
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
NOCHECK_CALL
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