Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/iscsi/cxgbit/cxgbit_target.c cxgbit_tx_datain_iso() -> cxgbit_cpl_tx_data_iso()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->cb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
PARAM_VALUE 1 iso_info 1635380668866719744
PARAM_VALUE 1 iso_info->flags 0-3
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
CAPPED_DATA 0 skb->data_len 1
DATA_SOURCE 0 skb r __cxgbit_alloc_skb
MEM_ZERO 0 skb->data
MEM_ZERO 1 iso_info
TASK_NOT_RUNNING
NOCHECK_CALL