Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/vmxnet3/vmxnet3_drv.c vmxnet3_create_queues() -> vmxnet3_rq_destroy_all_rxdataring()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->num_rx_queues | 0-s32max |
| PARAM_VALUE | 0 | adapter->num_tx_queues | 0-s32max |
| PARAM_VALUE | 0 | adapter->ringBufSize.ring1BufSizeType1 | 0 |
| PARAM_VALUE | 0 | adapter->ringBufSize.ring2BufSizeType1 | 4096 |
| PARAM_VALUE | 0 | adapter->rx_buf_per_pkt | 1-1048577 |
| PARAM_VALUE | 0 | adapter->rx_queue | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->rxdataring_enabled | 0 |
| PARAM_VALUE | 0 | adapter->skb_buf_size | 0-3072,2147483648-u32max |
| PARAM_VALUE | 0 | *adapter->netdev->name | 0-255 |
| CAPPED_DATA | 0 | adapter->num_rx_queues | 1 |
| CAPPED_DATA | 0 | adapter->num_tx_queues | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | adapter->rx_ts_desc_size | 0-255 |
| HOST_DATA | 0 | adapter->rxdata_desc_size | 0-u16max |
| HOST_DATA | 0 | adapter->tx_ts_desc_size | 0-255 |
| HOST_DATA | 0 | adapter->txdata_desc_size | 128-2048 |
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/vmxnet3/vmxnet3_drv.c vmxnet3_rq_create_all() -> vmxnet3_rq_destroy_all_rxdataring()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->cmd_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->num_rx_queues | 0-s32max |
| PARAM_VALUE | 0 | adapter->ringBufSize.ring1BufSizeType1 | 0 |
| PARAM_VALUE | 0 | adapter->ringBufSize.ring2BufSizeType1 | 4096 |
| PARAM_VALUE | 0 | adapter->rx_buf_per_pkt | 1-1048577 |
| PARAM_VALUE | 0 | adapter->rxdataring_enabled | 0 |
| PARAM_VALUE | 0 | adapter->skb_buf_size | 0-3072,2147483648-u32max |
| PARAM_VALUE | 0 | *adapter->netdev->name | 0-255 |
| CAPPED_DATA | 0 | adapter->netdev | 1 |
| CAPPED_DATA | 0 | adapter->num_rx_queues | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |