Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/smc/smc_llc.c smc_llc_delete_asym_link() -> smc_switch_conns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lgr | 4096-ptr_max |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry | 0 |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->lgr->smcd->dibs->drv_priv->dmb_cnt.counter | s32min-s32max |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->lgr->smcd->dibs->drv_priv->dmb_ht_lock.owner | (-1) |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->lgr->smcd->dibs->drv_priv->dmb_ht_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->link_down_wrk.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->smcibdev->ibdev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->smcibdev->ibdev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->smcibdev->ibdev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->smcibdev->ibdev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->wr_tx_refs.percpu_count_ptr | 1-u64max |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->wr_tx_v2_pend.compl_requested | 0-255 |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->msg.raw.hdr.common.llc_version | 0,2 |
| PARAM_VALUE | 0 | lgr->role | 1-u32max |
| PARAM_VALUE | 0 | lgr->type | 2 |
| PARAM_VALUE | 0 | *lgr->llc_flow_lcl.qentry->link->lgr->smcd->dibs->dmb_clientid_arr | 255 |
| PARAM_VALUE | 0 | *lgr->llc_flow_lcl.qentry->link->lgr->smcd->dibs->drv_priv->dmb_ht_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | from_lnk | 4096-ptr_max |
| PARAM_VALUE | 2 | is_dev_err | 0 |
| DATA_SOURCE | 0 | lgr | $0 |
| DATA_SOURCE | 1 | from_lnk | r smc_llc_find_asym_link |
| LOCK2 | 0 | &lgr->llc_conf_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct smc_link_group)->llc_conf_mutex |
net/smc/smc_llc.c smc_llc_process_cli_delete_link() -> smc_switch_conns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lgr | 4096-ptr_max |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry | 0 |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->lgr->smcd->dibs->drv_priv->dmb_cnt.counter | s32min-s32max |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->lgr->smcd->dibs->drv_priv->dmb_ht_lock.owner | (-1) |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->lgr->smcd->dibs->drv_priv->dmb_ht_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry->link->link_down_wrk.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | lgr->lnk | 4096-ptr_max |
| PARAM_VALUE | 0 | lgr->role | 0 |
| PARAM_VALUE | 1 | from_lnk | 4096-ptr_max |
| PARAM_VALUE | 2 | is_dev_err | 0 |
| CAPPED_DATA | 0 | &lgr->llc_conf_mutex | 1 |
| DATA_SOURCE | 0 | lgr | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &lgr->llc_conf_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct smc_link_group)->llc_conf_mutex |
net/smc/smc_llc.c smc_llc_process_srv_delete_link() -> smc_switch_conns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lgr | 4096-ptr_max |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | lgr->llc_conf_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | lgr->llc_flow_lcl.qentry | 0 |
| PARAM_VALUE | 0 | lgr->lnk | 4096-ptr_max |
| PARAM_VALUE | 0 | lgr->role | 1-u32max |
| PARAM_VALUE | 1 | from_lnk | 4096-ptr_max |
| PARAM_VALUE | 2 | is_dev_err | 0 |
| CAPPED_DATA | 0 | &lgr->llc_conf_mutex | 1 |
| DATA_SOURCE | 0 | lgr | $0 |
| LOCK2 | 0 | &lgr->llc_conf_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct smc_link_group)->llc_conf_mutex |
net/smc/smc_core.c smcr_link_down() -> smc_switch_conns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lgr | 4096-ptr_max |
| PARAM_VALUE | 1 | from_lnk | 4096-ptr_max |
| PARAM_VALUE | 1 | from_lnk->lgr | 4096-ptr_max |
| PARAM_VALUE | 1 | from_lnk->lgr->llc_conf_mutex.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | from_lnk->state | 1-u32max |
| PARAM_VALUE | 2 | is_dev_err | 1 |
| CAPPED_DATA | 0 | &lgr->list | 1 |
| DATA_SOURCE | 1 | from_lnk | $0 |
| PARAM_COMPARE | 0 | &lgr->list | != $0->list.next |
| LOCK2 | &lgr->llc_conf_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct smc_link_group)->llc_conf_mutex |