Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/packer.c vdo_attempt_packing() -> add_data_vio_to_packer_bin()

Type Parameter Key Value
PARAM_VALUE 0 packer 4096-ptr_max
PARAM_VALUE 1 bin 4096-ptr_max
PARAM_VALUE 2 data_vio 4096-ptr_max
PARAM_VALUE 2 data_vio->compression.status.counter 0-s32max
PARAM_VALUE 2 data_vio->last_async_operation 13
CAPPED_DATA 0 packer->flush_generation 1
CAPPED_DATA 2 data_vio->compression.size 1
DATA_SOURCE 0 packer r get_packer_from_data_vio
DATA_SOURCE 1 bin r select_bin
DATA_SOURCE 2 data_vio $0
PARAM_COMPARE 2 data_vio->flush_generation >= $0->flush_generation
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL