Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/sched/build_policy.c alloc_rt_sched_group() -> init_tg_rt_entry()

Type Parameter Key Value
PARAM_VALUE 0 tg 4096-ptr_max
PARAM_VALUE 0 tg->rt_bandwidth.rt_period 1000000000
PARAM_VALUE 0 tg->rt_bandwidth.rt_runtime 0
PARAM_VALUE 0 tg->rt_bandwidth.rt_runtime_lock.magic 3735899821
PARAM_VALUE 0 tg->rt_bandwidth.rt_runtime_lock.owner (-1)
PARAM_VALUE 0 tg->rt_bandwidth.rt_runtime_lock.owner_cpu u32max
PARAM_VALUE 0 tg->rt_rq 16,4096-ptr_max
PARAM_VALUE 0 tg->rt_se 16,4096-ptr_max
PARAM_VALUE 1 rt_rq 4096-ptr_max
PARAM_VALUE 1 rt_rq->highest_prio.curr 99
PARAM_VALUE 1 rt_rq->highest_prio.next 99
PARAM_VALUE 1 rt_rq->overloaded 0
PARAM_VALUE 1 rt_rq->rt_queued 0
PARAM_VALUE 1 rt_rq->rt_runtime 0
PARAM_VALUE 1 rt_rq->rt_throttled 0
PARAM_VALUE 1 rt_rq->rt_time 0
PARAM_VALUE 1 rt_rq->tg 8148527465910603776
PARAM_VALUE 2 rt_se 1-u64max
PARAM_VALUE 3 cpu 0-64
BUF_SIZE 0 tg->rt_rq 0-65544,u64max
BUF_SIZE 0 tg->rt_se 0-65544,u64max
BUF_SIZE 1 rt_rq 1776
BUF_SIZE 2 rt_se 72
CAPPED_DATA 3 cpu 1
DATA_SOURCE 0 tg $0
DATA_SOURCE 1 rt_rq r _kmalloc_node_noprof
DATA_SOURCE 2 rt_se r _kmalloc_node_noprof
DATA_SOURCE 3 cpu r find_next_bit
CONSTRAINT 3 cpu <3035
MEM_ZERO 0 &tg->rt_bandwidth.rt_period_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 cpu
UNITS 3 cpu unit_array_size