Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/target_core_xcopy.c target_parse_xcopy_cmd() -> target_xcopy_parse_segment_descriptors()

Type Parameter Key Value
PARAM_VALUE 0 xop 4096-ptr_max
PARAM_VALUE 0 xop->xop_se_cmd 4096-ptr_max
PARAM_VALUE 0 xop->xop_se_cmd->data_length 16-u32max
PARAM_VALUE 0 xop->xop_se_cmd->t_data_nents 1-s32max
PARAM_VALUE 0 xop->xop_se_cmd->t_data_sg 4096-ptr_max
PARAM_VALUE 2 sdll 0-255
PARAM_VALUE 3 sense_ret 7143236681859751936
PARAM_VALUE 3 *sense_ret 9
DATA_SOURCE 0 xop $0
DATA_SOURCE 2 sdll r get_unaligned_be32
HALF_LOCKED2 &pool->lock