Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-vdo/dedupe.c verify_endio() -> launch_data_vio_cpu_callback()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->duplicate.state 2-u32max
PARAM_VALUE 2 priority 0
DATA_SOURCE 0 data_vio r vio_as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c verify_endio() -> launch_data_vio_cpu_callback()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->duplicate.state 0-1
PARAM_VALUE 2 priority 0
DATA_SOURCE 0 data_vio r vio_as_data_vio
HARD_MAX 0 data_vio->duplicate.state 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/data-vio.c launch_compress_data_vio() -> launch_data_vio_cpu_callback()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->allocation.pbn 1-u64max
PARAM_VALUE 0 data_vio->compression.status.counter 0-s32max
PARAM_VALUE 0 data_vio->fua 0
PARAM_VALUE 0 data_vio->last_async_operation 7
PARAM_VALUE 0 data_vio->user_bio 0,4096-ptr_max
PARAM_VALUE 2 priority 0
DATA_SOURCE 0 data_vio $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/data-vio.c prepare_for_dedupe() -> launch_data_vio_cpu_callback()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->last_async_operation 11
PARAM_VALUE 2 priority 0
DATA_SOURCE 0 data_vio $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/data-vio.c read_block() -> launch_data_vio_cpu_callback()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->mapped.pbn 0
PARAM_VALUE 2 priority 0
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/data-vio.c read_endio() -> launch_data_vio_cpu_callback()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 2 priority 0
DATA_SOURCE 0 data_vio r vio_as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL