Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/md/dm-vdo/dedupe.c finish_index_operation() -> vdo_funnel_queue_put()

Type Parameter Key Value
PARAM_VALUE 1 entry 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/funnel-requestqueue.c uds_request_queue_enqueue() -> vdo_funnel_queue_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/funnel-workqueue.c enqueue_work_queue_completion() -> vdo_funnel_queue_put()

Type Parameter Key Value
PARAM_VALUE 1 entry 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/data-vio.c finish_cleanup() -> vdo_funnel_queue_put()

Type Parameter Key Value
PARAM_VALUE 1 entry 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/funnel-queue.c get_oldest() -> vdo_funnel_queue_put()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 1 entry 4096-ptr_max
DATA_SOURCE 0 queue $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock