Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/iscsi/cxgbit/cxgbit_cm.c __cxgbit_process_rx_cpl() -> (struct cxgbit_skb_rx_cb)->backlog_fn()

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->lock_owner 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->len 40,257-u32max
BUF_SIZE 0 csk 4,24,64,168-s32max
BUF_SIZE 0 csk 4,24,64,168-s32max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 1 skb 1
DATA_SOURCE 0 csk $0
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &csk->lock
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct cxgbit_sock)->lock

drivers/target/iscsi/cxgbit/cxgbit_target.c cxgbit_unlock_sock() -> cxgbit_unlock_sock ptr fn()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->backlogq.next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->arpq.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->arp_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->dev->ieee802154_ptr->dsn.counter s32min-s32max
PARAM_VALUE 0 csk->l2t->neigh->dev->ip_ptr 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->is_hard 0-1
PARAM_VALUE 0 csk->l2t->neigh->is_lazy 0-1
PARAM_VALUE 0 csk->l2t->neigh->is_queued 0-1
PARAM_VALUE 0 csk->l2t->neigh->is_soft 0-1
PARAM_VALUE 0 csk->l2t->neigh->lock.dep_map->name 0-255
PARAM_VALUE 0 csk->l2t->neigh->node.node.next 0
PARAM_VALUE 0 csk->l2t->neigh->node.node.prev 0
PARAM_VALUE 0 csk->l2t->neigh->nud_state 1-255
PARAM_VALUE 0 csk->l2t->neigh->timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 csk->lock_owner 1
PARAM_VALUE 0 csk->ppodq.next 4096-ptr_max
PARAM_VALUE 0 csk->ppodq.prev 4096-ptr_max
PARAM_VALUE 0 csk->ppodq.qlen 0
PARAM_VALUE 0 csk->txq.next 4096-ptr_max
PARAM_VALUE 0 csk->txq.prev 4096-ptr_max
PARAM_VALUE 0 csk->txq.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->wr_pending_head->next 0
PARAM_VALUE 0 csk->wr_pending_head->prev 0
PARAM_VALUE 0 csk->wr_pending_head->queue_mapping 0,2-u16max
PARAM_VALUE 0 csk->wr_pending_tail->next 0
PARAM_VALUE 0 csk->wr_pending_tail->prev 0
PARAM_VALUE 0 csk->wr_pending_tail->queue_mapping 0,2-u16max
PARAM_VALUE 0 *csk->l2t->dmac 0-255
PARAM_VALUE 1 skb 4096-6684950210016067584
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
CAPPED_DATA 0 &csk->backlogq 1
DATA_SOURCE 0 csk $0
DATA_SOURCE 1 skb r __skb_dequeue
TASK_NOT_RUNNING
NOCHECK_CALL
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