Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mellanox/mlx4/en_netdev.c mlx4_en_alloc_resources() -> mlx4_en_destroy_rx_ring()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,33-34,50
PARAM_VALUE 0 priv->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 0 priv->mdev->mr.access 0,1024-66559
PARAM_VALUE 0 priv->mdev->mr.enabled 0-2
PARAM_VALUE 0 priv->mdev->state_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 priv->mdev->state_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->prof 4096-ptr_max
PARAM_VALUE 0 priv->rx_ring 4096-ptr_max
PARAM_VALUE 0 priv->rx_ring_num 1-u32max
PARAM_VALUE 0 priv->tx_ring_num 4096-ptr_max
PARAM_VALUE 0 *priv->tx_ring_num 0-4294967295
PARAM_VALUE 1 pring 4096-ptr_max
PARAM_VALUE 1 *pring 1-u64max
BUF_SIZE 0 priv (-1),78568
BUF_SIZE 0 priv (-1),78568
BUF_SIZE 0 priv->ddev (-1),1616
BUF_SIZE 0 priv->mdev (-1),1184
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 priv->mdev->clock.cycle_last 0-u64max
USER_DATA 0 priv->hwtstamp_config.flags s32min-s32max
USER_DATA 0 priv->hwtstamp_config.rx_filter 0
USER_DATA 0 priv->hwtstamp_config.tx_type 0-1
USER_DATA 0 priv->prof->hwtstamp_config.flags s32min-s32max
USER_DATA 0 priv->prof->hwtstamp_config.rx_filter 0
USER_DATA 0 priv->prof->hwtstamp_config.tx_type 0-1
HALF_LOCKED2 &mdev->state_lock

drivers/net/ethernet/mellanox/mlx4/en_netdev.c mlx4_en_free_resources() -> mlx4_en_destroy_rx_ring()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->dev 4096-ptr_max
PARAM_VALUE 0 priv->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 priv->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 0 priv->dev->rx_cpu_rmap 0
PARAM_VALUE 0 priv->mdev->state_lock.dep_map->name 0-255
PARAM_VALUE 0 priv->mdev->state_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 priv->mdev->state_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->mdev->state_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->mdev->state_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 priv->mdev->state_lock.wait_lock.owner (-1)
PARAM_VALUE 0 priv->mdev->state_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 priv->prof 4096-ptr_max
PARAM_VALUE 0 priv->rx_ring 4096-ptr_max
PARAM_VALUE 0 priv->rx_ring_num 1-u32max
PARAM_VALUE 0 priv->tx_cq 4096-ptr_max
PARAM_VALUE 0 priv->tx_ring 4096-ptr_max
PARAM_VALUE 0 priv->tx_ring_num 4096-ptr_max
PARAM_VALUE 1 pring 4096-ptr_max
PARAM_VALUE 1 *pring 1-u64max
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mdev->state_lock
TYPE_LOCK (struct mlx4_en_dev)->state_lock