Defined in 2 files as a function:
- drivers/net/ethernet/sfc/efx_channels.c, line 765 (as a function)
- drivers/net/ethernet/sfc/siena/efx_channels.c, line 771 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/net/ethernet/sfc/siena/efx_channels.c efx_set_xdp_channels() -> efx_set_xdp_tx_queue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->channel | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | efx->mcdi->hwmon.device->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | efx->net_dev->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-u64max |
| PARAM_VALUE | 0 | efx->pci_dev->subordinate->self->link_bwctrl->cdev | 0-s64max |
| PARAM_VALUE | 0 | efx->txq_entries | 434,634,1024 |
| PARAM_VALUE | 0 | efx->type | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->ev_probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->mem_bar | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->min_interrupt_mode | 0,2 |
| PARAM_VALUE | 0 | efx->type->mtd_read | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->mtd_write | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->revision | 3-6 |
| PARAM_VALUE | 0 | efx->type->rx_prefix_size | 14,16,22 |
| PARAM_VALUE | 0 | efx->type->sriov_wanted | 0,849639514087391232,3407066356855250944 |
| PARAM_VALUE | 0 | *efx->net_dev->name | 0-255 |
| PARAM_VALUE | 0 | *efx->pci_dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *efx->rss_context.rx_indir_table | 0-4294967295 |
| PARAM_VALUE | 1 | xdp_queue_number | 0-s32max |
| PARAM_VALUE | 2 | tx_queue | 4096-18446744073709547519 |
| BUF_SIZE | 0 | efx->xdp_tx_queues | (-1),8-s32max |
| BUF_SIZE | 2 | tx_queue | (-1),1280 |
| BUF_SIZE | 2 | tx_queue | (-1),1280 |
| CAPPED_DATA | 0 | efx->tx_channel_offset | 1 |
| CAPPED_DATA | 2 | tx_queue | 1 |
| DATA_SOURCE | 0 | efx | $0 |
| FUZZY_MAX | 1 | xdp_queue_number | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | efx->legacy_irq | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->num_mac_stats | |
| NO_OVERFLOW_SIMPLE | 0 | efx->stats_buffer.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->xdp_tx_queue_count |
drivers/net/ethernet/sfc/siena/efx_channels.c efx_set_xdp_channels() -> efx_set_xdp_tx_queue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->channel | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | efx->mcdi->hwmon.device->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | efx->net_dev->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-u64max |
| PARAM_VALUE | 0 | efx->pci_dev->subordinate->self->link_bwctrl->cdev | 0-s64max |
| PARAM_VALUE | 0 | efx->txq_entries | 434,634,1024 |
| PARAM_VALUE | 0 | efx->type | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->ev_probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->mem_bar | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->min_interrupt_mode | 0,2 |
| PARAM_VALUE | 0 | efx->type->mtd_read | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->mtd_write | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->revision | 3-6 |
| PARAM_VALUE | 0 | efx->type->rx_prefix_size | 14,16,22 |
| PARAM_VALUE | 0 | efx->type->sriov_wanted | 0,849639514087391232,3407066356855250944 |
| PARAM_VALUE | 0 | efx->xdp_txq_queues_mode | 2 |
| PARAM_VALUE | 0 | *efx->net_dev->name | 0-255 |
| PARAM_VALUE | 0 | *efx->pci_dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *efx->rss_context.rx_indir_table | 0-4294967295 |
| PARAM_VALUE | 1 | xdp_queue_number | 0-s32max |
| PARAM_VALUE | 2 | tx_queue | 4096-ptr_max |
| BUF_SIZE | 0 | efx->xdp_tx_queues | (-1),8-s32max |
| BUF_SIZE | 2 | tx_queue | 1280 |
| BUF_SIZE | 2 | tx_queue | 1280 |
| CAPPED_DATA | 0 | efx->tx_channel_offset | 1 |
| DATA_SOURCE | 0 | efx | $0 |
| FUZZY_MAX | 1 | xdp_queue_number | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | efx->legacy_irq | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->num_mac_stats | |
| NO_OVERFLOW_SIMPLE | 0 | efx->stats_buffer.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->xdp_tx_queue_count |
drivers/net/ethernet/sfc/siena/efx_channels.c efx_set_xdp_channels() -> efx_set_xdp_tx_queue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->channel | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | efx->mcdi->hwmon.device->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | efx->net_dev->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-u64max |
| PARAM_VALUE | 0 | efx->pci_dev->subordinate->self->link_bwctrl->cdev | 0-s64max |
| PARAM_VALUE | 0 | efx->txq_entries | 434,634,1024 |
| PARAM_VALUE | 0 | efx->type | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->ev_probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->mem_bar | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->min_interrupt_mode | 0,2 |
| PARAM_VALUE | 0 | efx->type->mtd_read | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->mtd_write | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->revision | 3-6 |
| PARAM_VALUE | 0 | efx->type->rx_prefix_size | 14,16,22 |
| PARAM_VALUE | 0 | efx->type->sriov_wanted | 0,849639514087391232,3407066356855250944 |
| PARAM_VALUE | 0 | efx->xdp_tx_queue_count | 1-u32max |
| PARAM_VALUE | 0 | efx->xdp_tx_queues | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->xdp_txq_queues_mode | 0 |
| PARAM_VALUE | 0 | *efx->net_dev->name | 0-255 |
| PARAM_VALUE | 0 | *efx->pci_dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *efx->rss_context.rx_indir_table | 0-4294967295 |
| PARAM_VALUE | 1 | xdp_queue_number | 0-s32max |
| BUF_SIZE | 0 | efx->xdp_tx_queues | (-1),8-s32max |
| CAPPED_DATA | 1 | xdp_queue_number | 1 |
| DATA_SOURCE | 0 | efx | $0 |
| FUZZY_MAX | 1 | xdp_queue_number | 0 |
| PARAM_COMPARE | 0 | efx->xdp_tx_queue_count | > $1 |
| PARAM_COMPARE | 1 | xdp_queue_number | < $0->xdp_tx_queue_count |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | efx->legacy_irq | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->num_mac_stats | |
| NO_OVERFLOW_SIMPLE | 0 | efx->stats_buffer.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->xdp_tx_queue_count | |
| NO_OVERFLOW_SIMPLE | 1 | xdp_queue_number |
drivers/net/ethernet/sfc/efx_channels.c efx_set_xdp_channels() -> efx_set_xdp_tx_queue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->channel | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | efx->mcdi->hwmon.device->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | efx->net_dev->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-u64max |
| PARAM_VALUE | 0 | efx->pci_dev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | efx->pci_dev->subordinate->self->link_bwctrl->cdev | 0-s64max |
| PARAM_VALUE | 0 | efx->type | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->ev_probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->min_interrupt_mode | 0,2 |
| PARAM_VALUE | 0 | efx->type->mtd_read | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->mtd_write | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->revision | 3-6 |
| PARAM_VALUE | 0 | efx->type->rx_prefix_size | 14,16,22 |
| PARAM_VALUE | 0 | efx->type->sriov_wanted | 0,849639514087391232,3407066356855250944 |
| PARAM_VALUE | 0 | *efx->net_dev->name | 0-255 |
| PARAM_VALUE | 0 | *efx->pci_dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *efx->rss_context.rx_indir_table | 0-4294967295 |
| PARAM_VALUE | 1 | xdp_queue_number | 0-s32max |
| PARAM_VALUE | 2 | tx_queue | 4096-18446744073709547519 |
| BUF_SIZE | 0 | efx | (-1),5888 |
| BUF_SIZE | 0 | efx | (-1),5888 |
| BUF_SIZE | 0 | efx->xdp_tx_queues | (-1),8-s32max |
| BUF_SIZE | 2 | tx_queue | (-1),1536 |
| BUF_SIZE | 2 | tx_queue | (-1),1536 |
| CAPPED_DATA | 0 | efx->tx_channel_offset | 1 |
| CAPPED_DATA | 2 | tx_queue | 1 |
| DATA_SOURCE | 0 | efx | $0 |
| FUZZY_MAX | 1 | xdp_queue_number | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | efx->legacy_irq | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->num_mac_stats | |
| NO_OVERFLOW_SIMPLE | 0 | efx->stats_buffer.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->xdp_tx_queue_count |
drivers/net/ethernet/sfc/efx_channels.c efx_set_xdp_channels() -> efx_set_xdp_tx_queue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->channel | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | efx->mcdi->hwmon.device->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | efx->net_dev->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-u64max |
| PARAM_VALUE | 0 | efx->pci_dev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | efx->pci_dev->subordinate->self->link_bwctrl->cdev | 0-s64max |
| PARAM_VALUE | 0 | efx->type | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->ev_probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->min_interrupt_mode | 0,2 |
| PARAM_VALUE | 0 | efx->type->mtd_read | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->mtd_write | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->revision | 3-6 |
| PARAM_VALUE | 0 | efx->type->rx_prefix_size | 14,16,22 |
| PARAM_VALUE | 0 | efx->type->sriov_wanted | 0,849639514087391232,3407066356855250944 |
| PARAM_VALUE | 0 | efx->xdp_txq_queues_mode | 2 |
| PARAM_VALUE | 0 | *efx->net_dev->name | 0-255 |
| PARAM_VALUE | 0 | *efx->pci_dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *efx->rss_context.rx_indir_table | 0-4294967295 |
| PARAM_VALUE | 1 | xdp_queue_number | 0-s32max |
| PARAM_VALUE | 2 | tx_queue | 4096-ptr_max |
| BUF_SIZE | 0 | efx | (-1),5888 |
| BUF_SIZE | 0 | efx | (-1),5888 |
| BUF_SIZE | 0 | efx->xdp_tx_queues | (-1),8-s32max |
| BUF_SIZE | 2 | tx_queue | 1536 |
| BUF_SIZE | 2 | tx_queue | 1536 |
| CAPPED_DATA | 0 | efx->tx_channel_offset | 1 |
| DATA_SOURCE | 0 | efx | $0 |
| FUZZY_MAX | 1 | xdp_queue_number | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | efx->legacy_irq | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->num_mac_stats | |
| NO_OVERFLOW_SIMPLE | 0 | efx->stats_buffer.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->xdp_tx_queue_count |
drivers/net/ethernet/sfc/efx_channels.c efx_set_xdp_channels() -> efx_set_xdp_tx_queue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->channel | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | efx->filter_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | efx->mcdi->hwmon.device->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | efx->net_dev->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-u64max |
| PARAM_VALUE | 0 | efx->pci_dev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | efx->pci_dev->subordinate->self->link_bwctrl->cdev | 0-s64max |
| PARAM_VALUE | 0 | efx->type | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->ev_probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->min_interrupt_mode | 0,2 |
| PARAM_VALUE | 0 | efx->type->mtd_read | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->mtd_write | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->probe | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->revision | 3-6 |
| PARAM_VALUE | 0 | efx->type->rx_prefix_size | 14,16,22 |
| PARAM_VALUE | 0 | efx->type->sriov_wanted | 0,849639514087391232,3407066356855250944 |
| PARAM_VALUE | 0 | efx->xdp_tx_queue_count | 1-u32max |
| PARAM_VALUE | 0 | efx->xdp_tx_queues | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->xdp_txq_queues_mode | 0 |
| PARAM_VALUE | 0 | *efx->net_dev->name | 0-255 |
| PARAM_VALUE | 0 | *efx->pci_dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *efx->rss_context.rx_indir_table | 0-4294967295 |
| PARAM_VALUE | 1 | xdp_queue_number | 0-s32max |
| BUF_SIZE | 0 | efx | (-1),5888 |
| BUF_SIZE | 0 | efx | (-1),5888 |
| BUF_SIZE | 0 | efx->xdp_tx_queues | (-1),8-s32max |
| CAPPED_DATA | 1 | xdp_queue_number | 1 |
| DATA_SOURCE | 0 | efx | $0 |
| FUZZY_MAX | 1 | xdp_queue_number | 0 |
| PARAM_COMPARE | 0 | efx->xdp_tx_queue_count | > $1 |
| PARAM_COMPARE | 1 | xdp_queue_number | < $0->xdp_tx_queue_count |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | efx->legacy_irq | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->num_mac_stats | |
| NO_OVERFLOW_SIMPLE | 0 | efx->stats_buffer.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->xdp_tx_queue_count | |
| NO_OVERFLOW_SIMPLE | 1 | xdp_queue_number |