Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/iscsi/iscsi_target.c iscsit_send_datain() -> iscsit_free_datain_req()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->conn 4096-ptr_max
PARAM_VALUE 0 cmd->conn->sess 4096-ptr_max
PARAM_VALUE 0 cmd->conn->sess->sess_ops 4096-ptr_max
PARAM_VALUE 0 cmd->first_data_sg_off 0-4095
PARAM_VALUE 0 cmd->immediate_cmd 0-1
PARAM_VALUE 0 cmd->iov_data_count 0-2147483650
PARAM_VALUE 0 cmd->iscsi_opcode 0-2,4,6,32,50,63
PARAM_VALUE 0 cmd->logout_reason 0-127
PARAM_VALUE 0 cmd->logout_response 0-3
PARAM_VALUE 0 cmd->maxcmdsn_inc 0-1
PARAM_VALUE 0 cmd->orig_iov_data_count 0,6-1048581
PARAM_VALUE 0 cmd->padding 0-3
PARAM_VALUE 0 cmd->pdu 4096-ptr_max
PARAM_VALUE 1 dr 4096-ptr_max
PARAM_VALUE 1 dr->dr_complete 1-u32max
DATA_SOURCE 0 cmd $0
DATA_SOURCE 1 dr r iscsit_get_datain_values
FUZZY_MAX 1 dr->dr_complete 3
PARAM_COMPARE 0 &cmd->datain_list != $0->datain_list.next
TASK_NOT_RUNNING
NOCHECK_CALL