Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/iscsi/cxgbit/cxgbit_target.c cxgbit_push_tx_frames() -> cxgbit_tx_data_wr()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 csk->wr_una_cred 0-4294967294
PARAM_VALUE 0 *csk->l2t->dmac 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
PARAM_VALUE 1 skb->queue_mapping 0,2-u16max
PARAM_VALUE 5 compl 0-1
BUF_SIZE 0 csk (-1),248,568,1080,1216
BUF_SIZE 0 csk (-1),248,568,1080,1216
CAPPED_DATA 0 csk 1
CAPPED_DATA 0 csk->wr_una_cred 1
CAPPED_DATA 0 &csk->txq 1
CAPPED_DATA 4 credits 1
DATA_SOURCE 0 csk $0
DATA_SOURCE 1 skb r skb_peek
FUZZY_MAX 0 csk->wr_una_cred 0
FUZZY_MAX 5 compl 1
PARAM_COMPARE 2 dlen == $3
PARAM_COMPARE 3 len == $2
PARAM_COMPARE 4 credits <= $0->wr_cred
HARD_MAX 5 compl 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 csk->snd_una 0-u32max
NO_OVERFLOW_SIMPLE 0 csk->l2t->neigh->arp_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 csk->l2t->neigh->arp_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 csk->l2t->neigh->arp_queue_len_bytes
NO_OVERFLOW_SIMPLE 0 csk->rxq.prev->len
NO_OVERFLOW_SIMPLE 0 csk->rxq.prev->next->len
NO_OVERFLOW_SIMPLE 0 csk->rxq.prev->next->tail
NO_OVERFLOW_SIMPLE 0 csk->rxq.prev->tail
UNITS 2 dlen unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 0 &csk->lock