Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/sfc/ef100_netdev.c ef100_net_open() -> ef100_alloc_vis()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->interrupt_mode | 1-2 |
| PARAM_VALUE | 0 | efx->n_channels | 0-2 |
| PARAM_VALUE | 0 | efx->n_rx_channels | 1-u32max |
| PARAM_VALUE | 0 | efx->n_tx_channels | 1-u32max |
| PARAM_VALUE | 0 | efx->net_dev->num_rx_queues | 1-u32max |
| PARAM_VALUE | 0 | efx->net_dev->num_tx_queues | 1-u32max |
| PARAM_VALUE | 0 | efx->net_dev->real_num_rx_queues | 1-u32max |
| PARAM_VALUE | 0 | efx->net_dev->real_num_tx_queues | 1-u32max |
| PARAM_VALUE | 0 | efx->pci_dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->pci_dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->pci_dev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | efx->pci_dev->msi_enabled | 1 |
| PARAM_VALUE | 0 | efx->type | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->min_interrupt_mode | 0,2 |
| PARAM_VALUE | 0 | efx->type->sriov_wanted | 0,849639514087391232,3407066356855250944 |
| PARAM_VALUE | 0 | efx->vf_count | 0 |
| PARAM_VALUE | 0 | efx->xdp_tx_per_channel | 0,4 |
| PARAM_VALUE | 0 | efx->xdp_tx_queue_count | 0-s32max |
| PARAM_VALUE | 0 | efx->xdp_tx_queues | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->xdp_txq_queues_mode | 0-2 |
| PARAM_VALUE | 0 | *efx->name | 0-255 |
| PARAM_VALUE | 0 | *efx->net_dev->name | 0-255 |
| PARAM_VALUE | 0 | *efx->net_dev->prio_tc_map | 0-255 |
| PARAM_VALUE | 1 | allocated_vis | 6537929032391831552 |
| BUF_SIZE | 0 | efx | 5888 |
| CAPPED_DATA | 0 | efx->n_rx_channels | 1 |
| CAPPED_DATA | 0 | efx->n_tx_channels | 1 |
| CAPPED_DATA | 0 | efx->net_dev->num_tx_queues | 1 |
| CAPPED_DATA | 0 | efx->net_dev->real_num_tx_queues | 1 |
| CAPPED_DATA | 0 | efx->xdp_tx_queue_count | 1 |
| DATA_SOURCE | 0 | efx | r efx_netdev_priv |
| PARAM_COMPARE | 0 | efx->n_rx_channels | <= $0->net_dev->num_rx_queues |
| PARAM_COMPARE | 0 | efx->n_tx_channels | <= $0->net_dev->num_tx_queues |
| CONSTRAINT | 0 | efx->n_rx_channels | <=3120 |
| CONSTRAINT | 0 | efx->n_tx_channels | <=3121 |
| BIT_INFO | 0 | efx->msg_enable | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | efx->xdp_tx_queue_count | |
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/sfc/ef100_netdev.c ef100_net_open() -> ef100_alloc_vis()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->interrupt_mode | 1-2 |
| PARAM_VALUE | 0 | efx->n_channels | 0-2 |
| PARAM_VALUE | 0 | efx->n_rx_channels | 1-u32max |
| PARAM_VALUE | 0 | efx->n_tx_channels | 1-u32max |
| PARAM_VALUE | 0 | efx->net_dev->num_rx_queues | 1-u32max |
| PARAM_VALUE | 0 | efx->net_dev->num_tx_queues | 1-u32max |
| PARAM_VALUE | 0 | efx->net_dev->real_num_rx_queues | 1-u32max |
| PARAM_VALUE | 0 | efx->net_dev->real_num_tx_queues | 1-u32max |
| PARAM_VALUE | 0 | efx->pci_dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->pci_dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->type->min_interrupt_mode | 0,2 |
| PARAM_VALUE | 0 | efx->type->sriov_wanted | 0,849639514087391232,3407066356855250944 |
| PARAM_VALUE | 0 | efx->vf_count | 0 |
| PARAM_VALUE | 0 | efx->xdp_tx_per_channel | 0,4 |
| PARAM_VALUE | 0 | efx->xdp_tx_queue_count | 0-s32max |
| PARAM_VALUE | 0 | efx->xdp_tx_queues | 0,4096-ptr_max |
| PARAM_VALUE | 0 | efx->xdp_txq_queues_mode | 0-2 |
| PARAM_VALUE | 0 | *efx->name | 0-255 |
| PARAM_VALUE | 0 | *efx->net_dev->name | 0-255 |
| PARAM_VALUE | 0 | *efx->net_dev->prio_tc_map | 0-255 |
| PARAM_VALUE | 1 | allocated_vis | 6537929032391831552 |
| BUF_SIZE | 0 | efx | 5888 |
| CAPPED_DATA | 0 | efx->n_rx_channels | 1 |
| CAPPED_DATA | 0 | efx->n_tx_channels | 1 |
| CAPPED_DATA | 0 | efx->net_dev->num_tx_queues | 1 |
| CAPPED_DATA | 0 | efx->xdp_tx_queue_count | 1 |
| DATA_SOURCE | 0 | efx | r efx_netdev_priv |
| PARAM_COMPARE | 0 | efx->n_rx_channels | <= $0->net_dev->num_rx_queues |
| PARAM_COMPARE | 0 | efx->n_tx_channels | <= $0->net_dev->num_tx_queues |
| CONSTRAINT | 0 | efx->n_rx_channels | <=3120 |
| CONSTRAINT | 0 | efx->n_tx_channels | <=3121 |
| BIT_INFO | 0 | efx->msg_enable | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | efx->xdp_tx_queue_count | |
| HALF_LOCKED2 | global &rtnl_mutex |