Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/dm-vdo/packer.c abort_packing() -> write_data_vio()

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

drivers/md/dm-vdo/packer.c handle_compressed_write_error() -> write_data_vio()

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

drivers/md/dm-vdo/packer.c handle_compressed_write_error() -> write_data_vio()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->allocation.zone 4096-ptr_max
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c abort_waiter() -> write_data_vio()

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

drivers/md/dm-vdo/dedupe.c vdo_acquire_hash_lock() -> write_data_vio()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone->lock_pool.next 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone->lock_pool.prev 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone->lock_pool.prev->next 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone->lock_pool.prev->next->next 4096-ptr_max
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c vdo_acquire_hash_lock() -> write_data_vio()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_lock 0,4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone->lock_pool.next 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone->lock_pool.prev 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone->lock_pool.prev->next 4096-ptr_max
PARAM_VALUE 0 data_vio->hash_zone->lock_pool.prev->next->next 4096-ptr_max
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/data-vio.c compress_data_vio() -> write_data_vio()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->compression.block 4096-ptr_max
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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->user_bio 0,4096-ptr_max
DATA_SOURCE 0 data_vio $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/data-vio.c pack_compressed_data() -> write_data_vio()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
DATA_SOURCE 0 data_vio r as_data_vio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL