Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/target_core_xcopy.c target_xcopy_do_work() -> target_xcopy_read_source()

Type Parameter Key Value
PARAM_VALUE 0 ec_cmd 4096-ptr_max
PARAM_VALUE 1 xop 4096-ptr_max
PARAM_VALUE 1 xop->dst_dev 4096-ptr_max
PARAM_VALUE 1 xop->dst_dev->dev_attrib.emulate_3pc 1
PARAM_VALUE 1 xop->dst_lba 0-255
PARAM_VALUE 1 xop->dtdi 0-255
PARAM_VALUE 1 xop->nolb 0-255
PARAM_VALUE 1 xop->op_origin 1-2
PARAM_VALUE 1 xop->remote_lun_ref 4096-ptr_max
PARAM_VALUE 1 xop->src_dev 4096-ptr_max
PARAM_VALUE 1 xop->src_lba 0-255
PARAM_VALUE 1 xop->stdi 0-255
PARAM_VALUE 1 xop->xop_data_bytes 0-16777216
PARAM_VALUE 1 xop->xop_se_cmd 4096-ptr_max
PARAM_VALUE 1 xop->xop_se_cmd->data_length 16-u32max
PARAM_VALUE 1 xop->xop_se_cmd->t_data_nents 1
PARAM_VALUE 2 src_dev 4096-ptr_max
PARAM_VALUE 4 src_bytes 0-16777216
CAPPED_DATA 1 xop->xop_data_bytes 1
CAPPED_DATA 4 src_bytes 1
PARAM_COMPARE 4 src_bytes == $1->xop_data_bytes
HALF_LOCKED2 &pool->lock