Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/team/team_core.c team_queue_id_option_set() -> team_queue_override_port_change_queue_id()

Type Parameter Key Value
PARAM_VALUE 0 team 1-u64max
PARAM_VALUE 0 team->mode->kind 177546523615506432,2358837328987701248,3426298185869021184,4132750339740282880,4262152078658977792,8854811032990347264
PARAM_VALUE 0 team->mode->lag_tx_type 0-5
PARAM_VALUE 0 team->mode->ops 0,1006545898975948800,1581998172086902784,4049485849448726528,4737925820879720448,5247976880899137536
PARAM_VALUE 0 team->mode->owner 0,4096-ptr_max
PARAM_VALUE 0 team->mode->port_priv_size 0,32
PARAM_VALUE 0 team->mode->priv_size 0,4,16,32
PARAM_VALUE 1 port 4096-ptr_max
CAPPED_DATA 2 new_queue_id 1
DATA_SOURCE 0 team $0
PARAM_COMPARE 2 new_queue_id != $1->queue_id
CONSTRAINT 2 new_queue_id <3484
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 new_queue_id unit_array_size
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read