Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/target/iscsi/cxgbit/cxgbit_main.c cxgbit_lro_flush() -> cxgbit_put_csk()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->lro_skb 0
PARAM_VALUE 0 csk->rxq.next 4096-ptr_max
PARAM_VALUE 0 csk->rxq.prev 4096-ptr_max
PARAM_VALUE 0 csk->rxq.prev->next->next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/target/iscsi/cxgbit/cxgbit_cm.c __cxgbit_abort_conn() -> cxgbit_put_csk()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->com.state 0-2,4-u32max
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.lock.owner (-1)
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 csk->com.wr_wait.ret 0
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 csk (-1),4,24,64,168-s32max
BUF_SIZE 0 csk (-1),4,24,64,168-s32max
CAPPED_DATA 0 csk 1
DATA_SOURCE 0 csk $0
PREEMPT_ADD
RX_PATH
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
NO_OVERFLOW_SIMPLE 0 csk->l2t->neigh->arp_queue_len_bytes
HALF_LOCKED2 bh
HALF_LOCKED2 0 &csk->lock

drivers/target/iscsi/cxgbit/cxgbit_cm.c __cxgbit_free_conn() -> cxgbit_put_csk()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->com.state 7
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 csk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cnp->np_accept_lock

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_abort_req_rss() -> cxgbit_put_csk()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->com.cdev 4096-ptr_max
PARAM_VALUE 0 csk->com.state 7
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 csk (-1),4,24,64,168-s32max
BUF_SIZE 0 csk (-1),4,24,64,168-s32max
CAPPED_DATA 0 csk 1
CAPPED_DATA 0 &csk->skbq 1
CAPPED_DATA 0 &csk->txq 1
DATA_SOURCE 0 csk $0
RX_PATH
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
NO_OVERFLOW_SIMPLE 0 csk->l2t->neigh->arp_queue_len_bytes
HALF_LOCKED2 0 &csk->lock

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_abort_rpl_rss() -> cxgbit_put_csk()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->com.state 7
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 csk (-1),4,24,64,168-s32max
BUF_SIZE 0 csk (-1),4,24,64,168-s32max
CAPPED_DATA 0 csk 1
DATA_SOURCE 0 csk $0
RX_PATH
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
NO_OVERFLOW_SIMPLE 0 csk->l2t->neigh->arp_queue_len_bytes
HALF_LOCKED2 0 &csk->lock

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_arp_failure_discard() -> cxgbit_put_csk()

Type Parameter Key Value
BUF_SIZE 0 csk 1-s32max
BUF_SIZE 0 csk 1-s32max
DATA_SOURCE 0 csk $0
NOCHECK_CALL
LOCK2 bh

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_close_con_rpl() -> cxgbit_put_csk()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->com.state 7
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 csk (-1),4,24,64,168-s32max
BUF_SIZE 0 csk (-1),4,24,64,168-s32max
CAPPED_DATA 0 csk 1
DATA_SOURCE 0 csk $0
RX_PATH
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
NO_OVERFLOW_SIMPLE 0 csk->l2t->neigh->arp_queue_len_bytes
HALF_LOCKED2 0 &csk->lock

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_pass_accept_rpl() -> cxgbit_put_csk()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->accept_node.next 4096-ptr_max
PARAM_VALUE 0 csk->accept_node.next->next 4096-ptr_max
PARAM_VALUE 0 csk->accept_node.prev 4096-ptr_max
PARAM_VALUE 0 csk->accept_node.prev->next 4096-ptr_max
PARAM_VALUE 0 csk->accept_node.prev->prev 4096-ptr_max
PARAM_VALUE 0 csk->backlogq.next 4096-ptr_max
PARAM_VALUE 0 csk->backlogq.prev 4096-ptr_max
PARAM_VALUE 0 csk->backlogq.qlen 0
PARAM_VALUE 0 csk->cnp 4096-ptr_max
PARAM_VALUE 0 csk->cnp->com.state 1
PARAM_VALUE 0 csk->com.cdev 4096-ptr_max
PARAM_VALUE 0 csk->com.cdev->lldi.tids 4096-ptr_max
PARAM_VALUE 0 csk->com.remote_addr.sin6_family 10
PARAM_VALUE 0 csk->com.state 2
PARAM_VALUE 0 csk->com.wr_wait.completion.done 0
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.lock.magic 3735899821
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.lock.owner (-1)
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 csk->ctrlq_idx 0-255
PARAM_VALUE 0 csk->dst 4096-ptr_max
PARAM_VALUE 0 csk->dst->error 0
PARAM_VALUE 0 csk->dst->ops 4096-ptr_max
PARAM_VALUE 0 csk->dst->xfrm 0
PARAM_VALUE 0 csk->kref.refcount.refs.counter 1
PARAM_VALUE 0 csk->l2t 4096-ptr_max
PARAM_VALUE 0 csk->l2t->addr 0-u32max
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->list.next 4096-ptr_max
PARAM_VALUE 0 csk->lock_owner 0
PARAM_VALUE 0 csk->lro_hskb 4096-ptr_max
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->rcv_win 262144-1047552
PARAM_VALUE 0 csk->rxq.next 4096-ptr_max
PARAM_VALUE 0 csk->rxq.prev 4096-ptr_max
PARAM_VALUE 0 csk->rxq.qlen 0
PARAM_VALUE 0 csk->skbq.next 4096-ptr_max
PARAM_VALUE 0 csk->skbq.prev 4096-ptr_max
PARAM_VALUE 0 csk->skbq.prev->next->next 4096-ptr_max
PARAM_VALUE 0 csk->smac_idx 0-255
PARAM_VALUE 0 csk->snd_win 262144-524288
PARAM_VALUE 0 csk->tid 0-16777215
PARAM_VALUE 0 csk->tx_chan 0-255
PARAM_VALUE 0 csk->txq.next 4096-ptr_max
PARAM_VALUE 0 csk->txq.prev 4096-ptr_max
PARAM_VALUE 0 csk->txq.qlen 0
PARAM_VALUE 0 csk->waitq.head.next 4096-ptr_max
PARAM_VALUE 0 csk->waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 csk->waitq.head.prev 4096-ptr_max
PARAM_VALUE 0 csk->waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 csk->waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 csk->wr_pending_head 0
PARAM_VALUE 0 csk->wr_pending_tail 0
PARAM_VALUE 0 csk->wr_una_cred 0
BUF_SIZE 0 csk 1216
BUF_SIZE 0 csk->cnp 568
BUF_SIZE 0 csk->com.cdev 216,304,312,344-s32max
BUF_SIZE 0 csk->dst (-1)-0,144,152
CAPPED_DATA 0 csk->com.cdev->lldi.nports 1
CAPPED_DATA 0 csk->rcv_win 1
CAPPED_DATA 0 csk->snd_win 1
CAPPED_DATA 0 csk->tid 1
DATA_SOURCE 0 csk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 csk->mtu 41-65607[c]
NO_OVERFLOW_SIMPLE 0 csk->l2t->neigh->arp_queue_len_bytes
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_peer_close() -> cxgbit_put_csk()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->com.state 7
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 csk (-1),4,24,64,168-s32max
BUF_SIZE 0 csk (-1),4,24,64,168-s32max
CAPPED_DATA 0 csk 1
DATA_SOURCE 0 csk $0
RX_PATH
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
NO_OVERFLOW_SIMPLE 0 csk->l2t->neigh->arp_queue_len_bytes
HALF_LOCKED2 0 &csk->lock

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_process_rx_cpl() -> cxgbit_put_csk()

Type Parameter Key Value
PARAM_VALUE 0 csk 4096-ptr_max
PARAM_VALUE 0 csk->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 csk 248,568,1080,1216
BUF_SIZE 0 csk 248,568,1080,1216
DATA_SOURCE 0 csk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/target/iscsi/cxgbit/cxgbit_cm.c cxgbit_set_tcb_rpl() -> cxgbit_put_csk()

Type Parameter Key Value
PARAM_VALUE 0 csk 1-u64max
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.lock.owner (-1)
PARAM_VALUE 0 csk->com.wr_wait.completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 csk->com.wr_wait.ret (-5),0
BUF_SIZE 0 csk 248,568,1080,1216
BUF_SIZE 0 csk 248,568,1080,1216
DATA_SOURCE 0 csk r lookup_tid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read