Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/test_objpool.c ot_start_async() -> ot_init_cpu_item()

Type Parameter Key Value
PARAM_VALUE 1 test 4096-ptr_max
PARAM_VALUE 1 test->async s32min-(-1),1-s32max
PARAM_VALUE 1 test->data.start.dep_map->name 0-255
PARAM_VALUE 1 test->data.start.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 test->data.start.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 test->data.start.first_waiter->type 0-1
PARAM_VALUE 1 test->data.start.osq.tail.counter 0-s32max
PARAM_VALUE 1 test->data.start.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 test->data.start.wait_lock.owner (-1)
PARAM_VALUE 1 test->data.start.wait_lock.owner_cpu u32max
PARAM_VALUE 1 test->delay 0,100
PARAM_VALUE 1 test->hrtimer 0,4
PARAM_VALUE 1 test->objsz 280,512
PARAM_VALUE 2 pool 4096-ptr_max
PARAM_VALUE 2 pool->capacity s32min-(-1),1-s32max
PARAM_VALUE 2 pool->context 4096-ptr_max
PARAM_VALUE 2 pool->cpu_slots 16,4096-ptr_max
PARAM_VALUE 2 pool->flags 0
PARAM_VALUE 2 pool->gfp 2080,3264
PARAM_VALUE 2 pool->nr_possible_cpus 0-s32max
PARAM_VALUE 2 pool->obj_size 0,48-4144
PARAM_VALUE 2 pool->ref.refs.counter 1
PARAM_VALUE 2 pool->release 2545880653045678080
CAPPED_DATA 1 &test->data.start 1
DATA_SOURCE 1 test $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 pool->capacity
LOCK2 1 &test->data.start
TYPE_LOCK (struct ot_data)->start

lib/test_objpool.c ot_start_sync() -> ot_init_cpu_item()

Type Parameter Key Value
PARAM_VALUE 1 test 4096-ptr_max
PARAM_VALUE 1 test->async 0
PARAM_VALUE 1 test->data.start.dep_map->name 0-255
PARAM_VALUE 1 test->data.start.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 test->data.start.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 test->data.start.first_waiter->type 0-1
PARAM_VALUE 1 test->data.start.osq.tail.counter 0-s32max
PARAM_VALUE 1 test->data.start.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 test->data.start.wait_lock.owner (-1)
PARAM_VALUE 1 test->data.start.wait_lock.owner_cpu u32max
PARAM_VALUE 1 test->delay 0,100
PARAM_VALUE 1 test->hrtimer 0,4
PARAM_VALUE 1 test->objsz 280,512
PARAM_VALUE 2 pool 4096-ptr_max
PARAM_VALUE 2 pool->capacity s32min-(-1),1-s32max
PARAM_VALUE 2 pool->context 4096-ptr_max
PARAM_VALUE 2 pool->cpu_slots 16,4096-ptr_max
PARAM_VALUE 2 pool->flags 0
PARAM_VALUE 2 pool->gfp 2080,3264
PARAM_VALUE 2 pool->nr_possible_cpus 0-s32max
PARAM_VALUE 2 pool->obj_size 0,48-4144
PARAM_VALUE 2 pool->ref.refs.counter 1
PARAM_VALUE 2 pool->release 0
CAPPED_DATA 1 &test->data.start 1
DATA_SOURCE 1 test $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 pool->capacity
LOCK2 1 &test->data.start
TYPE_LOCK (struct ot_data)->start