Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/cxgb4/cm.c c4iw_accept_cr() -> deref_cm_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | epc | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->cm_id | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | epc->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | epc->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | epc->qp | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->state | 5-6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ep->com.mutex | ||
| HALF_LOCKED2 | &ctx->mutex | ||
| HALF_LOCKED2 | &sport->mutex | ||
| HALF_LOCKED2 | &srv->paths_mutex | ||
| TYPE_LOCK | (struct c4iw_ep_common)->mutex |
drivers/infiniband/hw/cxgb4/cm.c c4iw_connect() -> deref_cm_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | epc | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->cm_id | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->ep_skb_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->ep_skb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->qp | 0-1025,1027-1029,1031-u64max |
| PARAM_VALUE | 0 | epc->state | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &id_priv->handler_mutex | ||
| HALF_LOCKED2 | &iser_conn->state_mutex |
drivers/infiniband/hw/cxgb4/cm.c c4iw_create_listen() -> deref_cm_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | epc | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->cm_id | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->ep_skb_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->ep_skb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->state | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &ctx->mutex | ||
| HALF_LOCKED2 | &device->client_data_rwsem | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | global &clients_rwsem | ||
| HALF_LOCKED2 | global &ctrl_lock | ||
| HALF_LOCKED2 | global &devices_rwsem | ||
| HALF_LOCKED2 | global &ib_ctx.ib_dev_mutex | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &lock |
drivers/infiniband/hw/cxgb4/cm.c c4iw_destroy_listen() -> deref_cm_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | epc->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->state | 11 |
| PARAM_VALUE | 0 | epc->wr_waitp | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/hw/cxgb4/cm.c close_complete_upcall() -> deref_cm_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | epc | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->cm_id | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->mutex.osq.tail.counter | 0-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ep->com.mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/hw/cxgb4/cm.c connect_reply_upcall() -> deref_cm_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | epc | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->cm_id | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ep->com.mutex | ||
| HALF_LOCKED2 | bh |
drivers/infiniband/hw/cxgb4/cm.c peer_abort_upcall() -> deref_cm_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | epc | 4096-ptr_max |
| PARAM_VALUE | 0 | epc->cm_id | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ep->com.mutex | ||
| HALF_LOCKED2 | &pool->lock |