Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->logical.lbn 0-18446744073709551614
PARAM_VALUE 0 data_vio->logical.zone 4096-ptr_max
PARAM_VALUE 0 data_vio->vio.completion.vdo->states.vdo.config.logical_blocks 1-u64max
CAPPED_DATA 0 data_vio->logical.lbn 1
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->vio.completion.requeue 1
DATA_SOURCE 0 data_vio r vdo_waiter_as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL