Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/i40e/i40e_main.c i40e_vsi_alloc_q_vectors() -> i40e_free_q_vector()

Type Parameter Key Value
PARAM_VALUE 0 vsi 4096-ptr_max
PARAM_VALUE 0 vsi->back 4096-ptr_max
PARAM_VALUE 0 vsi->back->flags 4096-ptr_max
PARAM_VALUE 0 vsi->type 0
PARAM_VALUE 1 v_idx 0-s32max
DATA_SOURCE 0 vsi $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 v_idx unit_array_size
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/intel/i40e/i40e_main.c i40e_vsi_free_q_vectors() -> i40e_free_q_vector()

Type Parameter Key Value
PARAM_VALUE 0 vsi 4096-ptr_max
PARAM_VALUE 0 vsi->num_q_vectors 1-s32max
PARAM_VALUE 1 v_idx 0-s32max
CAPPED_DATA 0 vsi 1
CAPPED_DATA 1 v_idx 1
DATA_SOURCE 0 vsi $0
PARAM_COMPARE 1 v_idx < $0->num_q_vectors
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 vsi->base_queue
NO_OVERFLOW_SIMPLE 0 vsi->base_vector
UNITS 1 v_idx unit_array_size
HALF_LOCKED2 global &rtnl_mutex