Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/ixgbe/ixgbe_lib.c ixgbe_alloc_q_vectors() -> ixgbe_alloc_q_vector()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->msix_entries 0,16,4096-ptr_max
PARAM_VALUE 0 adapter->netdev->tc_to_txq->count 0-u16max
PARAM_VALUE 0 adapter->netdev->tc_to_txq->offset 0-u16max
PARAM_VALUE 0 adapter->num_rx_pools 0-u16max
PARAM_VALUE 0 adapter->num_rx_queues 0-16776960
PARAM_VALUE 0 adapter->num_rx_queues_per_pool 0-255
PARAM_VALUE 0 adapter->num_tx_queues 0-16776960
PARAM_VALUE 0 adapter->num_xdp_queues 0-64
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->pdev->sriov->cap 0-4294967295
PARAM_VALUE 0 adapter->pdev->sriov->class 0-4294967295
PARAM_VALUE 0 adapter->pdev->sriov->hdr_type 0-255
PARAM_VALUE 0 adapter->pdev->sriov->initial_VFs 0-u16max
PARAM_VALUE 0 adapter->pdev->sriov->pgsz 0-4294967295
PARAM_VALUE 0 adapter->pdev->sriov->subsystem_device 0-u16max
PARAM_VALUE 0 adapter->pdev->sriov->subsystem_vendor 0-u16max
PARAM_VALUE 0 adapter->pdev->sriov->vf_device 0-u16max
PARAM_VALUE 0 adapter->pdev->subordinate->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 *adapter->netdev->name 0-255
PARAM_VALUE 1 v_count 0-s32max
PARAM_VALUE 2 v_idx 0-s32max
PARAM_VALUE 3 txr_count 0
PARAM_VALUE 4 txr_idx 0
PARAM_VALUE 5 xdp_count 0
PARAM_VALUE 6 xdp_idx 0
PARAM_VALUE 7 rxr_count 1
PARAM_VALUE 8 rxr_idx 0-s32max
BUF_SIZE 0 adapter s32min-(-1),1-s32max
BUF_SIZE 0 adapter s32min-(-1),1-s32max
DATA_SOURCE 0 adapter $0
FUZZY_MAX 2 v_idx 0
FUZZY_MAX 8 rxr_idx 0
BIT_INFO 0 adapter->flags 0x0,0xffffffff
NOSPEC 0 adapter->num_q_vectors
NOSPEC 1 v_count
NOSPEC 1 v_count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 adapter->hw_tcs 2-255[c]
USER_DATA 0 adapter->num_q_vectors 1-2147483646[c]
USER_DATA 0 adapter->num_rx_pools 0-u16max
USER_DATA 0 adapter->num_rx_queues 0-16776959
USER_DATA 0 adapter->num_rx_queues_per_pool 3-255[c]
USER_DATA 0 adapter->num_tx_queues 0-16776959
USER_DATA 1 v_count 1-2147483646[c]
NO_OVERFLOW_SIMPLE 0 adapter->hw_tcs
NO_OVERFLOW_SIMPLE 0 adapter->num_q_vectors
NO_OVERFLOW_SIMPLE 0 adapter->num_rx_queues_per_pool
NO_OVERFLOW_SIMPLE 1 v_count
NO_OVERFLOW_SIMPLE 8 rxr_idx
UNITS 0 adapter unit_byte
UNITS 1 v_count unit_array_size
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/intel/ixgbe/ixgbe_lib.c ixgbe_alloc_q_vectors() -> ixgbe_alloc_q_vector()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->msix_entries 0,16,4096-ptr_max
PARAM_VALUE 0 adapter->netdev->tc_to_txq->count 0-u16max
PARAM_VALUE 0 adapter->netdev->tc_to_txq->offset 0-u16max
PARAM_VALUE 0 adapter->num_rx_pools 0-u16max
PARAM_VALUE 0 adapter->num_rx_queues 0-16776960
PARAM_VALUE 0 adapter->num_rx_queues_per_pool 0-255
PARAM_VALUE 0 adapter->num_tx_queues 0-16776960
PARAM_VALUE 0 adapter->num_xdp_queues 0-64
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->pdev->sriov->cap 0-4294967295
PARAM_VALUE 0 adapter->pdev->sriov->class 0-4294967295
PARAM_VALUE 0 adapter->pdev->sriov->hdr_type 0-255
PARAM_VALUE 0 adapter->pdev->sriov->initial_VFs 0-u16max
PARAM_VALUE 0 adapter->pdev->sriov->pgsz 0-4294967295
PARAM_VALUE 0 adapter->pdev->sriov->subsystem_device 0-u16max
PARAM_VALUE 0 adapter->pdev->sriov->subsystem_vendor 0-u16max
PARAM_VALUE 0 adapter->pdev->sriov->vf_device 0-u16max
PARAM_VALUE 0 adapter->pdev->subordinate->self->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
PARAM_VALUE 0 *adapter->netdev->name 0-255
PARAM_VALUE 1 v_count 1-s32max
PARAM_VALUE 2 v_idx 0-2147483646
PARAM_VALUE 4 txr_idx 0-s32max
PARAM_VALUE 8 rxr_idx 0-s32max
BUF_SIZE 0 adapter s32min-(-1),1-s32max
BUF_SIZE 0 adapter s32min-(-1),1-s32max
CAPPED_DATA 1 v_count 1
CAPPED_DATA 2 v_idx 1
DATA_SOURCE 0 adapter $0
FUZZY_MAX 4 txr_idx 0
FUZZY_MAX 8 rxr_idx 0
PARAM_COMPARE 1 v_count > $2
PARAM_COMPARE 2 v_idx < $1
BIT_INFO 0 adapter->flags 0x0,0xffffffff
NOSPEC 0 adapter->num_q_vectors
NOSPEC 1 v_count
NOSPEC 1 v_count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 adapter->hw_tcs 2-255[c]
USER_DATA 0 adapter->num_q_vectors 1-2147483646[c]
USER_DATA 0 adapter->num_rx_pools 0-u16max
USER_DATA 0 adapter->num_rx_queues 0-16776959
USER_DATA 0 adapter->num_rx_queues_per_pool 3-255[c]
USER_DATA 0 adapter->num_tx_queues 0-16776959
USER_DATA 1 v_count 1-2147483646[c]
NO_OVERFLOW_SIMPLE 0 adapter->hw_tcs
NO_OVERFLOW_SIMPLE 0 adapter->num_q_vectors
NO_OVERFLOW_SIMPLE 0 adapter->num_rx_queues_per_pool
NO_OVERFLOW_SIMPLE 1 v_count
NO_OVERFLOW_SIMPLE 2 v_idx
NO_OVERFLOW_SIMPLE 4 txr_idx
NO_OVERFLOW_SIMPLE 8 rxr_idx
UNITS 0 adapter unit_byte
UNITS 1 v_count unit_array_size
UNITS 2 v_idx unit_array_size
HALF_LOCKED2 global &rtnl_mutex