Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/build_policy.c __dl_server_attach_bw_locked() -> __dl_add()

Type Parameter Key Value
PARAM_VALUE 0 dl_b 4096-ptr_max
BUF_SIZE 0 dl_b 88
DATA_SOURCE 0 dl_b $1
DATA_SOURCE 2 cpus $2
PREEMPT_ADD
NOCHECK_CALL

kernel/sched/build_policy.c __dl_server_attach_root() -> __dl_add()

Type Parameter Key Value
PARAM_VALUE 0 dl_b 4096-ptr_max
BUF_SIZE 0 dl_b 88
DATA_SOURCE 0 dl_b r dl_bw_of
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &sched_domains_mutex
LOCK2 rcu_read
LOCK2 rf.flags
LOCK2 rq
LOCK2 0 &dl_b->lock
TYPE_LOCK (struct dl_bw)->lock

kernel/sched/build_policy.c dl_add_task_root_domain() -> __dl_add()

Type Parameter Key Value
PARAM_VALUE 0 dl_b 4096-ptr_max
PARAM_VALUE 0 dl_b->lock.dep_map->name 0-255
PARAM_VALUE 0 dl_b->lock.owner_cpu 0
PARAM_VALUE 0 dl_b->lock.raw_lock.val.counter 0-s32max
BUF_SIZE 0 dl_b 88
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &p->pi_lock
LOCK2 global &sched_domains_mutex
LOCK2 rf.flags
LOCK2 0 &dl_b->lock
HALF_LOCKED2 global &cpuset_mutex
TYPE_LOCK (struct dl_bw)->lock
TYPE_LOCK (struct task_struct)->pi_lock

kernel/sched/build_policy.c dl_bw_manage() -> __dl_add()

Type Parameter Key Value
PARAM_VALUE 0 dl_b 4096-ptr_max
PARAM_VALUE 0 dl_b->lock.dep_map->name 0-255
PARAM_VALUE 0 dl_b->lock.owner_cpu 0
PARAM_VALUE 0 dl_b->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 tsk_bw 1-u64max
BUF_SIZE 0 dl_b 88
DATA_SOURCE 0 dl_b r dl_bw_of
DATA_SOURCE 1 tsk_bw $2
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
LOCK2 flags
LOCK2 rcu_read
LOCK2 0 &dl_b->lock
TYPE_LOCK (struct dl_bw)->lock

kernel/sched/build_policy.c dl_server_add_bw() -> __dl_add()

Type Parameter Key Value
PARAM_VALUE 0 dl_b 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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_apply_params() -> __dl_add()

Type Parameter Key Value
PARAM_VALUE 0 dl_b 4096-ptr_max
PARAM_VALUE 1 tsk_bw 0-18446744073707454464
BUF_SIZE 0 dl_b 88
DATA_SOURCE 0 dl_b r dl_bw_of
DATA_SOURCE 1 tsk_bw r to_ratio
DATA_SOURCE 2 cpus r dl_bw_cpus
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
USER_DATA 1 tsk_bw 0-18446744073707454464
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &dl_b->lock
HALF_LOCKED2 global &once_lock
TYPE_LOCK (struct dl_bw)->lock

kernel/sched/build_policy.c dl_server_apply_params() -> __dl_add()

Type Parameter Key Value
PARAM_VALUE 0 dl_b 4096-ptr_max
PARAM_VALUE 1 tsk_bw 0-18446744073707454464
BUF_SIZE 0 dl_b 88
DATA_SOURCE 0 dl_b r dl_bw_of
DATA_SOURCE 1 tsk_bw r to_ratio
DATA_SOURCE 2 cpus r dl_bw_cpus
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
USER_DATA 1 tsk_bw 0-18446744073707454464
LOCK2 _T->lock
LOCK2 _T->rf.flags
LOCK2 0 &dl_b->lock
TYPE_LOCK (struct dl_bw)->lock

kernel/sched/build_policy.c dl_task_offline_migration() -> __dl_add()

Type Parameter Key Value
PARAM_VALUE 0 dl_b 4096-ptr_max
PARAM_VALUE 0 dl_b->lock.dep_map->name 0-255
PARAM_VALUE 0 dl_b->lock.owner_cpu 0
PARAM_VALUE 0 dl_b->lock.raw_lock.val.counter 0-s32max
BUF_SIZE 0 dl_b 88
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &dl_b->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct dl_bw)->lock

kernel/sched/build_policy.c sched_dl_overflow() -> __dl_add()

Type Parameter Key Value
PARAM_VALUE 0 dl_b 4096-ptr_max
PARAM_VALUE 0 dl_b->lock.dep_map->name 0-255
PARAM_VALUE 0 dl_b->lock.owner_cpu 0
PARAM_VALUE 0 dl_b->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 tsk_bw 0-18446744073707454464
BUF_SIZE 0 dl_b 88
CAPPED_DATA 1 tsk_bw 1
CAPPED_DATA 1 tsk_bw 1
DATA_SOURCE 0 dl_b r dl_bw_of
DATA_SOURCE 2 cpus r dl_bw_cpus
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tsk_bw 0-18446744073707454464[c]
LOCK2 0 &dl_b->lock
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct dl_bw)->lock

kernel/sched/build_policy.c sched_dl_overflow() -> __dl_add()

Type Parameter Key Value
PARAM_VALUE 0 dl_b 4096-ptr_max
PARAM_VALUE 0 dl_b->lock.dep_map->name 0-255
PARAM_VALUE 0 dl_b->lock.owner_cpu 0
PARAM_VALUE 0 dl_b->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 tsk_bw 0-18446744073707454464
BUF_SIZE 0 dl_b 88
CAPPED_DATA 1 tsk_bw 1
CAPPED_DATA 1 tsk_bw 1
DATA_SOURCE 0 dl_b r dl_bw_of
DATA_SOURCE 2 cpus r dl_bw_cpus
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tsk_bw 0-18446744073707454464[c]
LOCK2 0 &dl_b->lock
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct dl_bw)->lock