Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 waitq 3771823185995616256
PARAM_VALUE 0 waitq->last_waiter 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/wait-queue.c vdo_waitq_notify_next_waiter() -> vdo_waitq_dequeue_waiter()

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

drivers/md/dm-vdo/dedupe.c dequeue_lock_waiter() -> vdo_waitq_dequeue_waiter()

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

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

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 0 waitq->last_waiter 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/block-map.c finish_page_write() -> vdo_waitq_dequeue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 0 waitq->last_waiter 1-u64max
RX_PATH
TASK_NOT_RUNNING

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

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

drivers/md/dm-vdo/flush.c vdo_complete_flushes() -> vdo_waitq_dequeue_waiter()

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

drivers/md/dm-vdo/data-vio.c transfer_lock() -> vdo_waitq_dequeue_waiter()

Type Parameter Key Value
PARAM_VALUE 0 waitq 4096-ptr_max
PARAM_VALUE 0 waitq->last_waiter 1-u64max
RX_PATH
TASK_NOT_RUNNING