Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/sched/build_utility.c cpu_attach_domain() -> rq_attach_root()

Type Parameter Key Value
PARAM_VALUE 1 rd 4096-ptr_max
PARAM_VALUE 1 rd->cpudl.elements 0,16,4096-ptr_max
PARAM_VALUE 1 rd->cpudl.lock.magic (-559067475),0
PARAM_VALUE 1 rd->cpudl.lock.owner 0,(-1)
PARAM_VALUE 1 rd->cpudl.lock.owner_cpu (-1)-0
PARAM_VALUE 1 rd->cpudl.size 0
PARAM_VALUE 1 rd->cpupri.cpu_to_pri 0,16,4096-ptr_max
PARAM_VALUE 1 rd->dl_bw.bw 0-18446744073707454464,u64max
PARAM_VALUE 1 rd->dl_bw.lock.magic 0,3735899821
PARAM_VALUE 1 rd->dl_bw.lock.owner 0,(-1)
PARAM_VALUE 1 rd->dl_bw.lock.owner_cpu 0,u32max
PARAM_VALUE 1 rd->dl_bw.total_bw 0
PARAM_VALUE 1 rd->rto_cpu (-1)-0
PARAM_VALUE 1 rd->rto_lock.magic 0,3735899821
PARAM_VALUE 1 rd->rto_lock.owner 0,(-1)
PARAM_VALUE 1 rd->rto_lock.owner_cpu 0,u32max
PARAM_VALUE 1 rd->visit_cookie 0
DATA_SOURCE 1 rd $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &sched_domains_mutex
LOCK2 rcu_read