Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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