Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/build_policy.c dl_server_detach_bw() -> __dl_server_detach_bw_locked()

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
PARAM_VALUE 1 dl_b 4096-ptr_max
BUF_SIZE 1 dl_b 88
DATA_SOURCE 0 dl_se $0
DATA_SOURCE 1 dl_b r dl_bw_of
DATA_SOURCE 2 cpus r dl_bw_cpus
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 1 &dl_b->lock
TYPE_LOCK (struct dl_bw)->lock

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

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
PARAM_VALUE 1 dl_b 4096-ptr_max
BUF_SIZE 1 dl_b 88
DATA_SOURCE 0 dl_se $0
DATA_SOURCE 1 dl_b r dl_bw_of
DATA_SOURCE 2 cpus r dl_bw_cpus
PREEMPT_ADD <- disables preempt
NOCHECK_CALL