Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/objpool.c objpool_init_percpu_slots() -> objpool_init_percpu_slot()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->capacity s32min-(-1),1-s32max
PARAM_VALUE 0 pool->context 4096-ptr_max
PARAM_VALUE 0 pool->cpu_slots 4096-ptr_max
PARAM_VALUE 0 pool->gfp 2080,3264
PARAM_VALUE 0 pool->nr_objs 0-s32max
PARAM_VALUE 0 pool->nr_possible_cpus 0-s32max
PARAM_VALUE 0 pool->obj_size 0,48-4144
PARAM_VALUE 0 pool->release 0,2545880653045678080,3803259912287232000
PARAM_VALUE 1 slot 1-u64max
PARAM_VALUE 2 nodes 0-16777216
PARAM_VALUE 3 context 4096-ptr_max
PARAM_VALUE 4 objinit 3096064753687429120,6837825218062045184
BUF_SIZE 0 pool->context 88,96
BUF_SIZE 0 pool->cpu_slots 0-65544
BUF_SIZE 1 slot 0-s32max,18446744071562067968-u64max
BUF_SIZE 1 slot 0-s32max,18446744071562067968-u64max
BUF_SIZE 3 context 88,96
BUF_SIZE 3 context 88,96
DATA_SOURCE 0 pool $0
DATA_SOURCE 3 context $2
DATA_SOURCE 4 objinit $3
FUZZY_MAX 0 pool->gfp 3264
FUZZY_MAX 0 pool->nr_objs 0
BIT_INFO 0 pool->gfp 0x800,0xffffffffffffffff
BIT_INFO 0 pool->obj_size 0x0,0x1ff8
HARD_MAX 0 pool->gfp 3264
MEM_ZERO 0 pool
MEM_ZERO 1 slot
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pool->capacity