Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/md/dm-vdo/wait-queue.c vdo_waitq_dequeue_matching_waiters() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 0,4096-ptr_max
PARAM_VALUE 1 waiter->next_waiter 0
CAPPED_DATA 1 waiter 1
DATA_SOURCE 1 waiter r vdo_waitq_dequeue_waiter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c dirty_block() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c finish_reference_block_write() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c update_slab_summary_entry() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
DATA_SOURCE 1 waiter $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c vdo_enqueue_clean_slab_waiter() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
PARAM_VALUE 1 waiter->callback 3717485719403028480
DATA_SOURCE 1 waiter $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c vdo_modify_reference_count() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c select_writing_agent() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4156139015711191040
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c select_writing_agent() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c wait_on_hash_lock() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/recovery-journal.c add_queued_recovery_entries() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/recovery-journal.c assign_entry() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/recovery-journal.c schedule_block_write() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/recovery-journal.c vdo_add_recovery_journal_entry() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c attempt_page_lock() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c discard_page_for_completion() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c enqueue_page() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c load_page_for_completion() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c vdo_get_page() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/flush.c finish_notification() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 0,4096-ptr_max
PARAM_VALUE 1 waiter->next_waiter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/flush.c flush_vdo() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/data-vio.c attempt_logical_block_lock() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/vio.c acquire_vio_from_pool() -> vdo_waitq_enqueue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 1 waiter 4096-ptr_max
PARAM_VALUE 1 waiter->callback 992308744827301888,1282518967637954560,1853414795665993728,6270140751112740864,6390823420409450496,6480322665726201856,6719732319510827008,8986459351445663744
BUF_SIZE 1 waiter (-1),16
BUF_SIZE 1 waiter (-1),16
CAPPED_DATA 1 waiter 1
DATA_SOURCE 1 waiter $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL