Defined in 3 files as a function:
- drivers/infiniband/hw/cxgb4/cm.c, line 687 (as a function)
- drivers/scsi/cxgbi/cxgb3i/cxgb3i.c, line 240 (as a function)
- drivers/scsi/cxgbi/cxgb4i/cxgb4i.c, line 474 (as a function)
Referenced in 3 files:
- drivers/infiniband/hw/cxgb4/cm.c
- drivers/scsi/cxgbi/cxgb3i/cxgb3i.c
- drivers/scsi/cxgbi/cxgb4i/cxgb4i.c
Smatch caller information:
drivers/scsi/cxgbi/cxgb4i/cxgb4i.c do_act_establish() -> send_abort_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | csk | 4096-ptr_max |
| PARAM_VALUE | 0 | csk->advmss | 128-u16max |
| PARAM_VALUE | 0 | csk->atid | 0-16383 |
| PARAM_VALUE | 0 | csk->cdev | 4096-ptr_max |
| PARAM_VALUE | 0 | csk->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | csk->retry_timer.function | 0 |
| PARAM_VALUE | 0 | csk->state | 3 |
| PARAM_VALUE | 0 | csk->tid | 0-16777215 |
| BUF_SIZE | 0 | csk | 248,568,1080 |
| BUF_SIZE | 0 | csk | 248,568,1080 |
| CAPPED_DATA | 0 | csk->atid | 1 |
| DATA_SOURCE | 0 | csk | r lookup_atid |
| FUZZY_MAX | 0 | csk->advmss | 128 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | csk->rcv_nxt | 0-u32max[u] |
| USER_DATA | 0 | csk->snd_una | 0-u32max |
| USER_DATA | 0 | csk->tid | 1-16777215[c] |
| LOCK2 | bh | ||
| LOCK2 | 0 | &csk->lock | |
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct cxgbi_sock)->lock |
drivers/scsi/cxgbi/cxgb4i/cxgb4i.c do_rx_data() -> send_abort_req()
| 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 | r lookup_tid |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &csk->lock | |
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct cxgbi_sock)->lock |
drivers/scsi/cxgbi/cxgb4i/cxgb4i.c do_rx_data_ddp() -> send_abort_req()
| 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->state | 0-7,9-u32max |
| BUF_SIZE | 0 | csk | 248,568,1080,1216 |
| BUF_SIZE | 0 | csk | 248,568,1080,1216 |
| DATA_SOURCE | 0 | csk | r lookup_tid |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &csk->lock | |
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct cxgbi_sock)->lock |
drivers/scsi/cxgbi/cxgb4i/cxgb4i.c do_rx_iscsi_cmp() -> send_abort_req()
| 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->state | 0-7,9-u32max |
| BUF_SIZE | 0 | csk | 248,568,1080,1216 |
| BUF_SIZE | 0 | csk | 248,568,1080,1216 |
| DATA_SOURCE | 0 | csk | r lookup_tid |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &csk->lock | |
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct cxgbi_sock)->lock |
drivers/scsi/cxgbi/cxgb4i/cxgb4i.c do_rx_iscsi_data() -> send_abort_req()
| 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->state | 5-7,9-u32max |
| BUF_SIZE | 0 | csk | 248,568,1080,1216 |
| BUF_SIZE | 0 | csk | 248,568,1080,1216 |
| DATA_SOURCE | 0 | csk | r lookup_tid |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &csk->lock | |
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct cxgbi_sock)->lock |
drivers/scsi/cxgbi/cxgb4i/cxgb4i.c do_rx_iscsi_hdr() -> send_abort_req()
| 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->state | 0-7,9-u32max |
| BUF_SIZE | 0 | csk | 248,568,1080,1216 |
| BUF_SIZE | 0 | csk | 248,568,1080,1216 |
| BUF_SIZE | 0 | csk->skb_ulp_lhdr | (-1)-s32max |
| DATA_SOURCE | 0 | csk | r lookup_tid |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_PTR | 0 | csk->skb_ulp_lhdr->data | |
| LOCK2 | bh | ||
| LOCK2 | 0 | &csk->lock | |
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct cxgbi_sock)->lock |
drivers/infiniband/hw/cxgb4/cm.c read_tcb_rpl() -> send_abort_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | csk | 4096-ptr_max |
| PARAM_VALUE | 0 | csk->srqe_idx | 0-67108863 |
| CAPPED_DATA | 0 | csk->srqe_idx | 1 |
| DATA_SOURCE | 0 | csk | r get_ep_from_tid |
| NOSPEC | 0 | csk->srqe_idx | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | csk->srqe_idx | 0-67108863[c] |
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/hw/cxgb4/cm.c send_abort() -> send_abort_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | csk | 4096-ptr_max |
| PARAM_VALUE | 0 | csk->com.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | csk->com.mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | csk->com.mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | csk->com.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | csk->com.mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | csk->com.mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | csk->com.mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | csk->com.qp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | csk->com.qp->srq | 0 |
| PARAM_VALUE | 0 | csk->com.state | 8 |
| BUF_SIZE | 0 | csk | (-1),16,32,40,120,568,1080 |
| BUF_SIZE | 0 | csk | (-1),16,32,40,120,568,1080 |
| DATA_SOURCE | 0 | csk | $0 |
| NOSPEC | 0 | csk->com.qp->attr.max_ird | |
| NOSPEC | 0 | csk->ird | |
| NOSPEC | 0 | csk->ord | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | csk->com.qp->attr.max_ird | 0-16383[c] |
| USER_DATA | 0 | csk->com.qp->attr.max_ord | 0-16383[c] |
| USER_DATA | 0 | csk->com.qp->wq.rq.wq_pidx_inc | 0-u16max[u] |
| USER_DATA | 0 | csk->com.qp->wq.sq.wq_pidx_inc | 0-u16max[u] |
| USER_DATA | 0 | csk->ird | 0-255[c] |
| USER_DATA | 0 | csk->ord | 0-255[c] |
| USER_DATA | 0 | csk->snd_wscale | 0-15[c] |
| NO_OVERFLOW_SIMPLE | 0 | csk->l2t->neigh->arp_queue_len_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | csk->mpa_pkt_len | |
| NO_OVERFLOW_SIMPLE | 0 | csk->mpa_skb->end | |
| NO_OVERFLOW_SIMPLE | 0 | csk->mpa_skb->len | |
| LOCK2 | 0 | &csk->com.mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct c4iw_ep_common)->mutex |
drivers/scsi/cxgbi/cxgb3i/cxgb3i.c do_act_establish() -> send_abort_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | csk | 4096-ptr_max |
| PARAM_VALUE | 0 | csk->cdev | 4096-ptr_max |
| PARAM_VALUE | 0 | csk->cdev->lldev | 4096-ptr_max |
| PARAM_VALUE | 0 | csk->cdev->lldev->l4opt | 4096-ptr_max |
| PARAM_VALUE | 0 | csk->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | csk->retry_timer.function | 0 |
| PARAM_VALUE | 0 | csk->state | 3 |
| PARAM_VALUE | 0 | csk->tid | 0-16777215 |
| DATA_SOURCE | 0 | csk | $2 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | csk->rcv_nxt | 0-u32max |
| USER_DATA | 0 | csk->snd_una | 0-u32max |
| LOCK2 | bh | ||
| LOCK2 | 0 | &csk->lock | |
| TYPE_LOCK | (struct cxgbi_sock)->lock |
drivers/scsi/cxgbi/cxgb3i/cxgb3i.c do_iscsi_hdr() -> send_abort_req()
| 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->state | 0-7,9-u32max |
| DATA_SOURCE | 0 | csk | $2 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &csk->lock | |
| TYPE_LOCK | (struct cxgbi_sock)->lock |
drivers/scsi/cxgbi/libcxgbi.c need_active_close() -> (struct cxgbi_device)->csk_send_abort_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | csk | 4096-ptr_max |
| PARAM_VALUE | 0 | csk->cdev | 4096-ptr_max |
| PARAM_VALUE | 0 | csk->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | csk->state | 4,7 |
| CAPPED_DATA | 0 | &csk->receive_queue | 1 |
| DATA_SOURCE | 0 | csk | $0 |
| CONTAINER | 0 | -304-0+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &csk->lock | |
| HALF_LOCKED2 | &conn->ep_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| TYPE_LOCK | (struct cxgbi_sock)->lock |