Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/be2iscsi/be_main.c beiscsi_task_xmit() -> beiscsi_mtask()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->dd_data 4096-ptr_max
PARAM_VALUE 0 task->sc 0
CAPPED_DATA 0 task 1
DATA_SOURCE 0 task $0
NOSPEC 0 task->data_count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 task->data_count 1-8192[c]
USER_DATA 0 task->hdr->exp_statsn 0-u32max[u]
USER_DATA 0 task->hdr->hlength 0-62[u]
USER_DATA 0 task->hdr->itt 0-u32max[u]
USER_DATA 0 task->hdr->max_statsn 0-u32max[u]
USER_DATA 0 task->hdr->opcode 1[u]
USER_DATA 0 task->hdr->statsn 0-u32max[u]
USER_DATA 0 task->hdr->ttt 0-u32max[u]
USER_DATA 0 *task->data 0-255
USER_PTR 0 task->data
USER_PTR 0 task->hdr->dlength
USER_PTR 0 task->hdr->other
USER_PTR 0 task->hdr->rsvd2