Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/netronome/nfp/nfp_net_common.c nfp_net_clear_config_and_disable() -> nfp_net_tx_ring_reset()

Type Parameter Key Value
PARAM_VALUE 0 dp 4096-ptr_max
PARAM_VALUE 0 dp->num_tx_rings 1-u32max
PARAM_VALUE 0 dp->tx_rings 4096-ptr_max
PARAM_VALUE 1 tx_ring 4096-ptr_max
NOSPEC 0 dp->num_r_vecs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dp->ctrl 0-u32max[c]
HOST_DATA 0 dp->mtu 0-s32max[c]
HOST_DATA 0 dp->num_r_vecs 0-s32max[c]
HOST_DATA 0 dp->num_rx_rings 0-s32max[c]
HOST_DATA 0 dp->num_tx_rings 1-s32max[c]
HOST_DATA 0 dp->rx_offset 0-64
USER_DATA 0 dp->mtu 0-s32max[c]
USER_DATA 0 dp->num_r_vecs 0[c]
NO_OVERFLOW_SIMPLE 0 dp->num_stack_tx_rings
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 global &rtnl_mutex