Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/trace/rethook.c rethook_free_rcu() -> objpool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

lib/test_objpool.c ot_fini_async_rcu() -> objpool_fini()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

lib/test_objpool.c ot_fini_sync() -> objpool_fini()

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 16,4096-ptr_max
PARAM_VALUE 0 pool->flags 0
PARAM_VALUE 0 pool->gfp 2080,3264
PARAM_VALUE 0 pool->nr_objs 0
PARAM_VALUE 0 pool->nr_possible_cpus 0-s32max
PARAM_VALUE 0 pool->obj_size 0,48-4144
PARAM_VALUE 0 pool->ref.refs.counter 1
PARAM_VALUE 0 pool->release 0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pool->capacity