Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/debugobjects.c debug_objects_fill_pool() -> pool_should_refill()

Type Parameter Key Value
PARAM_VALUE 0 pool 5100753452384944128
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

lib/debugobjects.c debug_objects_fill_pool() -> pool_should_refill()

Type Parameter Key Value
PARAM_VALUE 0 pool 5100753452384944128
PARAM_VALUE 0 pool->cnt 0-2147483646
PARAM_VALUE 0 pool->min_cnt 1-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

lib/debugobjects.c fill_pool() -> pool_should_refill()

Type Parameter Key Value
PARAM_VALUE 0 pool 5100753452384944128
PARAM_VALUE 0 pool->min_cnt 0-s32max
RX_PATH
TASK_NOT_RUNNING

lib/debugobjects.c fill_pool() -> pool_should_refill()

Type Parameter Key Value
PARAM_VALUE 0 pool 5100753452384944128
PARAM_VALUE 0 pool->cnt 0-2147483662
PARAM_VALUE 0 pool->min_cnt 1-s32max
RX_PATH
TASK_NOT_RUNNING

lib/debugobjects.c fill_pool_from_freelist() -> pool_should_refill()

Type Parameter Key Value
PARAM_VALUE 0 pool 5100753452384944128
PARAM_VALUE 0 pool->min_cnt 0-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->flags

lib/debugobjects.c fill_pool_from_freelist() -> pool_should_refill()

Type Parameter Key Value
PARAM_VALUE 0 pool 5100753452384944128
PARAM_VALUE 0 pool->min_cnt 1-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->flags