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 |