Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->l2t->arpq.next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->arpq.prev 4096-ptr_max
PARAM_VALUE 0 csk->l2t->arpq.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 csk->l2t->neigh->arp_queue.next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->arp_queue.prev 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->arp_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->dev->ip6_ptr->lock.dep_map->name 0-255
PARAM_VALUE 0 csk->l2t->neigh->dev->ip_ptr 4096-ptr_max
PARAM_VALUE 0 csk->l2t->neigh->dev->refcnt_tracker.quarantine.prev 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->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 csk->l2t->neigh->dev_tracker->dead 0-1
PARAM_VALUE 0 csk->l2t->neigh->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 csk->l2t->neigh->entry.next s64max
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->lock.raw_lock.cnts.counter 0-s32max
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->l2t->neigh->timer.node.node.next 0
PARAM_VALUE 0 csk->l2t->neigh->timer.node.node.prev 0
PARAM_VALUE 0 csk->l2t->state 0,2-u16max
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 1-u64max
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 4096-ptr_max
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
CAPPED_DATA 0 &csk->ppodq 1
DATA_SOURCE 0 csk $0
TASK_NOT_RUNNING
NOCHECK_CALL