Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 from_waitq 4096-ptr_max
PARAM_VALUE 0 from_waitq->last_waiter 4096-ptr_max
PARAM_VALUE 1 to_waitq 3771823185995616256
DATA_SOURCE 0 from_waitq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/wait-queue.c vdo_waitq_notify_all_waiters() -> vdo_waitq_transfer_all_waiters()

Type Parameter Key Value
PARAM_VALUE 0 from_waitq 4096-ptr_max
PARAM_VALUE 1 to_waitq 1041153220566495232
DATA_SOURCE 0 from_waitq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c launch_write() -> vdo_waitq_transfer_all_waiters()

Type Parameter Key Value
PARAM_VALUE 0 from_waitq 4096-ptr_max
PARAM_VALUE 0 from_waitq->last_waiter 1-u64max
PARAM_VALUE 1 to_waitq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 from_waitq 4096-ptr_max
PARAM_VALUE 1 to_waitq 4156139015711191040
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 from_waitq 4156139015711191040
PARAM_VALUE 1 to_waitq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 from_waitq 4096-ptr_max
PARAM_VALUE 0 from_waitq->last_waiter 0,4096-ptr_max
PARAM_VALUE 1 to_waitq 32,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL