Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/amd/xgbe/xgbe-phy-v2.c xgbe_phy_sfp_mod_absent() -> xgbe_phy_free_phy_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdata | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->i2c.op_state.op->cmd | 0-1 |
| PARAM_VALUE | 0 | pdata->i2c.op_state.op->len | 1-3,5,128,256 |
| PARAM_VALUE | 0 | pdata->netdev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-s64max |
| PARAM_VALUE | 0 | pdata->phy_data | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->vdata->ecc_support | 0-1 |
| PARAM_VALUE | 0 | pdata->vdata->enable_rrc | 0-1 |
| PARAM_VALUE | 0 | pdata->vdata->rx_desc_prefetch | 0,5 |
| PARAM_VALUE | 0 | pdata->vdata->tstamp_ptp_clock_freq | 0-1 |
| PARAM_VALUE | 0 | pdata->vdata->tx_desc_prefetch | 0,5 |
| PARAM_VALUE | 0 | pdata->vdata->xpcs_access | 0-2 |
| PARAM_VALUE | 0 | *pdata->netdev->name | 0-255 |
| PARAM_VALUE | 0 | *pdata->pfcq | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->prio2q_map | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->q2tc_map | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->rx_rfa | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->rx_rfd | 0-4294967295 |
| BUF_SIZE | 0 | pdata->an_workqueue | (-1),512,8712 |
| BUF_SIZE | 0 | pdata->dev_workqueue | (-1),512,8712 |
| DATA_SOURCE | 0 | pdata | $0 |
| STR_LEN | 0 | pdata->an_name | (-1),46 |
| STR_LEN | 0 | pdata->ecc_name | (-1),46 |
| STR_LEN | 0 | pdata->i2c_name | (-1),46 |
| NOSPEC | 0 | pdata->channel_count | |
| NOSPEC | 0 | pdata->tx_q_count | |
| NOSPEC | 0 | pdata->tx_ring_count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | pdata->channel_count | 1-s32max[c] |
| USER_DATA | 0 | pdata->netdev->num_tc | 2-16[c] |
| USER_DATA | 0 | pdata->new_tx_ring_count | 0-u32max[c] |
| USER_DATA | 0 | pdata->rx_buf_size | 1536-4096[c] |
| USER_DATA | 0 | pdata->tx_q_count | 1-u32max[c] |
| USER_DATA | 0 | pdata->tx_ring_count | 1-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | pdata->napi.thread->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | pdata->num_tcs | |
| HALF_LOCKED2 | global &xgbe_phy_comm_lock |
drivers/net/ethernet/amd/xgbe/xgbe-phy-v2.c xgbe_phy_sfp_read_eeprom() -> xgbe_phy_free_phy_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdata | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | pdata->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | pdata->i2c.op_state.op | 1238156138677075968,1616696453991890944,6331597976670674944,6432860710675255296,8341115269933113344 |
| PARAM_VALUE | 0 | pdata->i2c.op_state.op->buf | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->i2c.op_state.op->cmd | 0-1 |
| PARAM_VALUE | 0 | pdata->i2c.op_state.op->len | 1-3,5,128,256 |
| PARAM_VALUE | 0 | pdata->i2c.op_state.ret | 0 |
| PARAM_VALUE | 0 | pdata->i2c.op_state.rx_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->i2c.op_state.rx_len | 1-3,5,128,256 |
| PARAM_VALUE | 0 | pdata->i2c.op_state.tx_abort_source | 0 |
| PARAM_VALUE | 0 | pdata->i2c.op_state.tx_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->i2c.op_state.tx_len | 1-3,5,128,256 |
| PARAM_VALUE | 0 | pdata->i2c_complete.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | pdata->i2c_complete.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pdata->i2c_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->i2c_complete.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->i2c_if.i2c_xfer | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->i2c_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pdata->i2c_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdata->i2c_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | pdata->i2c_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | pdata->i2c_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pdata->i2c_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | pdata->i2c_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | pdata->i2c_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | pdata->i2c_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | pdata->i2c_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | pdata->netdev->dev.parent->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | pdata->netdev->ethtool_ops->rxfh_max_num_contexts | 0,2-u32max |
| PARAM_VALUE | 0 | pdata->netdev->ethtool_ops->supported_coalesce_params | 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563 |
| PARAM_VALUE | 0 | pdata->phy_data | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->phy_data->sfp_comm | 0-4294967295 |
| PARAM_VALUE | 0 | pdata->vdata->ecc_support | 0-1 |
| PARAM_VALUE | 0 | pdata->vdata->enable_rrc | 0-1 |
| PARAM_VALUE | 0 | pdata->vdata->rx_desc_prefetch | 0,5 |
| PARAM_VALUE | 0 | pdata->vdata->tstamp_ptp_clock_freq | 0-1 |
| PARAM_VALUE | 0 | pdata->vdata->tx_desc_prefetch | 0,5 |
| PARAM_VALUE | 0 | pdata->vdata->xpcs_access | 0-2 |
| PARAM_VALUE | 0 | pdata->xi2c_regs | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->xprop_regs | 4096-ptr_max |
| PARAM_VALUE | 0 | *pdata->netdev->name | 0-255 |
| PARAM_VALUE | 0 | *pdata->pfcq | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->prio2q_map | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->q2tc_map | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->rx_rfa | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->rx_rfd | 0-4294967295 |
| BUF_SIZE | 0 | pdata->an_workqueue | (-1),512,8712 |
| BUF_SIZE | 0 | pdata->dev_workqueue | (-1),512,8712 |
| DATA_SOURCE | 0 | pdata | $0 |
| STR_LEN | 0 | pdata->an_name | (-1),46 |
| STR_LEN | 0 | pdata->ecc_name | (-1),46 |
| STR_LEN | 0 | pdata->i2c_name | (-1),46 |
| NOSPEC | 0 | pdata->channel_count | |
| NOSPEC | 0 | pdata->tx_q_count | |
| NOSPEC | 0 | pdata->tx_ring_count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | pdata->channel_count | 1-s32max[c] |
| USER_DATA | 0 | pdata->netdev->num_tc | 2-16[c] |
| USER_DATA | 0 | pdata->new_tx_ring_count | 0[c] |
| USER_DATA | 0 | pdata->rx_buf_size | 1536-4096[c] |
| USER_DATA | 0 | pdata->tx_q_count | 1-u32max[c] |
| USER_DATA | 0 | pdata->tx_ring_count | 1-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | pdata->napi.thread->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | pdata->num_tcs | |
| LOCK2 | global &xgbe_phy_comm_lock | ||
| HALF_LOCKED2 | &pool->lock |
drivers/net/ethernet/amd/xgbe/xgbe-phy-v2.c xgbe_phy_stop() -> xgbe_phy_free_phy_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdata | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->an_start | 0 |
| PARAM_VALUE | 0 | pdata->dev_workqueue->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | pdata->dev_workqueue->work_color | s32min-s32max |
| PARAM_VALUE | 0 | pdata->i2c.op_state.op->cmd | 0-1 |
| PARAM_VALUE | 0 | pdata->i2c.op_state.op->len | 1-3,5,128,256 |
| PARAM_VALUE | 0 | pdata->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->netdev->rtnl_link_ops->priv_size | 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-s64max |
| PARAM_VALUE | 0 | pdata->netdev->tc_to_txq->count | 0-u16max |
| PARAM_VALUE | 0 | pdata->netdev->tc_to_txq->offset | 0-u16max |
| PARAM_VALUE | 0 | pdata->vdata->ecc_support | 0-1 |
| PARAM_VALUE | 0 | pdata->vdata->enable_rrc | 0-1 |
| PARAM_VALUE | 0 | pdata->vdata->rx_desc_prefetch | 0,5 |
| PARAM_VALUE | 0 | pdata->vdata->tstamp_ptp_clock_freq | 0-1 |
| PARAM_VALUE | 0 | pdata->vdata->tx_desc_prefetch | 0,5 |
| PARAM_VALUE | 0 | pdata->vdata->xpcs_access | 0-2 |
| PARAM_VALUE | 0 | pdata->xgmac_regs | 4096-ptr_max |
| PARAM_VALUE | 0 | pdata->xpcs_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *pdata->netdev->name | 0-255 |
| PARAM_VALUE | 0 | *pdata->pfcq | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->prio2q_map | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->q2tc_map | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->rx_rfa | 0-4294967295 |
| PARAM_VALUE | 0 | *pdata->rx_rfd | 0-4294967295 |
| BUF_SIZE | 0 | pdata->an_workqueue | (-1),512,528-8720 |
| BUF_SIZE | 0 | pdata->dev_workqueue | (-1),512,528-8720 |
| CAPPED_DATA | 0 | pdata->channel_count | 1 |
| CAPPED_DATA | 0 | pdata->rx_q_count | 1 |
| CAPPED_DATA | 0 | pdata->tx_q_count | 1 |
| DATA_SOURCE | 0 | pdata | $0 |
| STR_LEN | 0 | pdata->an_name | (-1),46 |
| STR_LEN | 0 | pdata->ecc_name | (-1),46 |
| STR_LEN | 0 | pdata->i2c_name | (-1),46 |
| BIT_INFO | 0 | pdata->msg_enable | 0x0,0xffffffff |
| NOSPEC | 0 | pdata->channel_count | |
| NOSPEC | 0 | pdata->tx_q_count | |
| NOSPEC | 0 | pdata->tx_ring_count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | pdata->channel_count | 1-s32max[c] |
| USER_DATA | 0 | pdata->netdev->num_tc | 2-16[c] |
| USER_DATA | 0 | pdata->new_tx_ring_count | 0-u32max[c] |
| USER_DATA | 0 | pdata->rx_buf_size | 1536-4096[c] |
| USER_DATA | 0 | pdata->tx_q_count | 1-u32max[c] |
| USER_DATA | 0 | pdata->tx_ring_count | 1-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | pdata->num_tcs | |
| NO_OVERFLOW_SIMPLE | 0 | pdata->ptpclk->core->parent->req_rate | |
| NO_OVERFLOW_SIMPLE | 0 | pdata->sysclk->core->parent->req_rate |