Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/data-vio.c process_release_callback() -> reuse_or_release_resources()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->discard_limiter.new_waiters.head 0
PARAM_VALUE 0 pool->discard_limiter.new_waiters.tail 0
PARAM_VALUE 0 pool->limiter.new_waiters.head 0
PARAM_VALUE 0 pool->limiter.new_waiters.tail 0
PARAM_VALUE 0 pool->limiter.waiters.head 1-u64max
PARAM_VALUE 0 pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->queue 4096-ptr_max
PARAM_VALUE 0 pool->queue->stub.next 0
PARAM_VALUE 1 data_vio 4096-ptr_max
PARAM_VALUE 1 data_vio->user_bio 0
PARAM_VALUE 1 data_vio->user_bio->bi_status 0-19
PARAM_VALUE 2 returned 8876539602562228224
PARAM_VALUE 2 returned->next 4096-ptr_max
PARAM_VALUE 2 returned->prev 8876539602562228224
BUF_SIZE 0 pool->limiter.arrival (-1),1-s32max
CAPPED_DATA 1 data_vio->vio.completion.result 1
DATA_SOURCE 0 pool r as_data_vio_pool
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL