Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/sched/build_policy.c dl_server_attach_bw() -> dl_server_start()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 0 dl_se->dl_bw_attached 1
PARAM_VALUE 0 dl_se->rq 4096-ptr_max
DATA_SOURCE 0 dl_se $0
NOCHECK_CALL

kernel/sched/build_policy.c dl_server_swap_bw() -> dl_server_start()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 0 dl_se->dl_bw_attached 1
PARAM_VALUE 0 dl_se->rq 4096-ptr_max
DATA_SOURCE 0 dl_se $1
NOCHECK_CALL

kernel/sched/build_utility.c sched_server_write_common() -> dl_server_start()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 0 dl_se->rq 4096-ptr_max
BUF_SIZE 0 dl_se 272
CAPPED_DATA 0 dl_se 1
DATA_SOURCE 0 dl_se $5
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 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 dl_se->dl_runtime
LOCK2 _T->lock
LOCK2 _T->rf.flags

kernel/sched/fair.c enqueue_task_fair() -> dl_server_start()

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