Open Menu /

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_reset_dev()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/vmxnet3/vmxnet3_drv.c vmxnet3_reset_work() -> vmxnet3_reset_dev()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
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_reset_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
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
CAPPED_DATA 0 adapter->netdev 1
BIT_INFO 0 adapter->netdev->features 0x0,0xffffffffffff7fff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &netdev->lock

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

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->rx_buf_per_pkt s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL