Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/vmxnet3/vmxnet3_drv.c vmxnet3_change_mtu() -> vmxnet3_activate_dev()

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->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 adapter->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->pdev->dev.iommu->pci_32bit_workaround 0-1
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->skb_buf_size 0-3072,2147483648-u32max
PARAM_VALUE 0 *adapter->netdev->name 0-255
CAPPED_DATA 0 adapter->num_rx_queues 1
RX_PATH
TASK_NOT_RUNNING

drivers/net/vmxnet3/vmxnet3_drv.c vmxnet3_open() -> vmxnet3_activate_dev()

Type Parameter Key Value
PARAM_VALUE 0 adapter 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->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 adapter->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 adapter->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 adapter->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.iommu->pci_32bit_workaround 0-1
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->skb_buf_size 0-3072,2147483648-u32max
PARAM_VALUE 0 adapter->txdata_desc_size 128-2048
PARAM_VALUE 0 *adapter->netdev->name 0-255
CAPPED_DATA 0 adapter->num_tx_queues 1
FUZZY_MAX 0 adapter->txdata_desc_size 128
BIT_INFO 0 adapter->txdata_desc_size 0x0,0xfc0
RX_PATH
TASK_NOT_RUNNING
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_reset_work() -> vmxnet3_activate_dev()

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->netdev->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 *adapter->netdev->name 0-255
CAPPED_DATA 0 adapter->netdev 1
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock

drivers/net/vmxnet3/vmxnet3_drv.c vmxnet3_resume() -> vmxnet3_activate_dev()

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->intr.mask_mode 0-3
PARAM_VALUE 0 adapter->intr.msix_entries->vector 0-4294967295
PARAM_VALUE 0 adapter->intr.type 1-3
PARAM_VALUE 0 adapter->num_rx_queues 1
PARAM_VALUE 0 adapter->num_tx_queues 0-s32max
PARAM_VALUE 0 adapter->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 adapter->xdp_bpf_prog 0
PARAM_VALUE 0 *adapter->netdev->name 0-255
CAPPED_DATA 0 adapter->num_tx_queues 1
RX_PATH
TASK_NOT_RUNNING

drivers/net/vmxnet3/vmxnet3_xdp.c vmxnet3_xdp_set() -> vmxnet3_activate_dev()

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->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 adapter->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->pdev->dev.iommu->pci_32bit_workaround 0-1
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->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
BIT_INFO 0 adapter->netdev->features 0x0,0xffffffffffff7fff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &netdev->lock

drivers/net/vmxnet3/vmxnet3_ethtool.c vmxnet3_set_ringparam() -> vmxnet3_activate_dev()

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->num_rx_queues 0-s32max
PARAM_VALUE 0 adapter->num_tx_queues 0-s32max
PARAM_VALUE 0 adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 adapter->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 adapter->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 adapter->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 adapter->pdev->dev.iommu->pci_32bit_workaround 0-1
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->skb_buf_size 0-3072,2147483648-u32max
PARAM_VALUE 0 *adapter->netdev->name 0-255
CAPPED_DATA 0 adapter->num_tx_queues 1
RX_PATH
TASK_NOT_RUNNING