Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/target/iscsi/iscsi_target.c iscsit_check_dataout_hdr() -> __iscsit_check_dataout_hdr()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 conn->conn_ops 4096-ptr_max
PARAM_VALUE 0 conn->conn_ops->MaxXmitDataSegmentLength 1-u32max
PARAM_VALUE 0 conn->conn_transport->iscsit_get_rx_pdu 2902372362502098944,5838143355559612416,6835203821448040448
PARAM_VALUE 0 conn->sess 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 cmd 4096-ptr_max
PARAM_VALUE 3 payload_length 1-16777215
PARAM_VALUE 4 success 1568469204729430016
PARAM_VALUE 4 *success 0
BUF_SIZE 0 conn (-1),128
BUF_SIZE 0 conn (-1),128
BUF_SIZE 1 buf (-1),1,52-1068
BUF_SIZE 1 buf (-1),1,52-1068
CAPPED_DATA 2 cmd->init_task_tag 1
CAPPED_DATA 3 payload_length 1
DATA_SOURCE 0 conn $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 cmd r iscsit_find_cmd_from_itt_or_dump
PARAM_COMPARE 0 conn->conn_ops->MaxXmitDataSegmentLength >= $3
PARAM_COMPARE 3 payload_length <= $0->conn_ops->MaxXmitDataSegmentLength
BIT_INFO 3 payload_length 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
UNITS 1 buf unit_byte

drivers/target/iscsi/cxgbit/cxgbit_target.c cxgbit_handle_iscsi_dataout() -> __iscsit_check_dataout_hdr()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 conn->conn_state 0-5,7-255
PARAM_VALUE 0 conn->sess 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 cmd 4096-ptr_max
PARAM_VALUE 3 payload_length 0-16777215
PARAM_VALUE 4 success 731317212521013248
PARAM_VALUE 4 *success 0
CAPPED_DATA 1 buf->itt 1
CAPPED_DATA 2 cmd->init_task_tag 1
DATA_SOURCE 2 cmd r iscsit_find_cmd_from_itt_or_dump
BIT_INFO 3 payload_length 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
UNITS 1 buf unit_byte