Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/smc/smc_core.c smc_conn_free() -> smc_cdc_wait_pend_tx_wr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->alert_token_local | 1-u32max |
| PARAM_VALUE | 0 | conn->freed | 1 |
| PARAM_VALUE | 0 | conn->killed | 1 |
| PARAM_VALUE | 0 | conn->lgr | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->lgr->is_smcd | 0 |
| PARAM_VALUE | 0 | conn->peer_rmbe_idx | 0-1 |
| PARAM_VALUE | 0 | conn->rmbe_size_comp | 0-15 |
| PARAM_VALUE | 0 | conn->rmbe_update_limit | 2304-s32max |
| PARAM_VALUE | 0 | conn->rtoken_idx | (-28),0-254 |
| PARAM_VALUE | 0 | conn->rx_off | 0,32 |
| BUF_SIZE | 0 | conn | (-1),840 |
| BUF_SIZE | 0 | conn | (-1),840 |
| DATA_SOURCE | 0 | conn | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | sk |
net/smc/smc_core.c smc_conn_kill() -> smc_cdc_wait_pend_tx_wr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conn | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->alert_token_local | 1-u32max |
| PARAM_VALUE | 0 | conn->killed | 1 |
| PARAM_VALUE | 0 | conn->lgr | 4096-ptr_max |
| PARAM_VALUE | 0 | conn->lgr->is_smcd | 0 |
| PARAM_VALUE | 0 | conn->lgr->smcd->dibs->drv_priv->dmb_ht_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | conn->lnk->wr_tx_v2_pend.compl_requested | 0-255 |
| PARAM_VALUE | 0 | conn->local_tx_ctrl.conn_state_flags.peer_conn_abort | 1 |
| PARAM_VALUE | 0 | conn->send_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | conn | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &smc->sk | ||
| TYPE_LOCK | (struct smc_sock)->sk |