Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/cxgbi/libcxgbi.c cxgbi_conn_alloc_pdu() -> cxgbi_task_data_sgl_check()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->conn 4096-ptr_max
PARAM_VALUE 0 task->conn->session 4096-ptr_max
PARAM_VALUE 0 task->dd_data 4096-ptr_max
PARAM_VALUE 0 task->hdr 0
CAPPED_DATA 0 task 1
DATA_SOURCE 0 task $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 task->data_count 1-8192[c]
USER_DATA 0 task->hdr->exp_statsn 0-u32max[u]
USER_DATA 0 task->hdr->flags 0-255[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
HALF_LOCKED2 &session->frwd_lock
HALF_LOCKED2 bh