Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
PARAM_VALUE 1 port->tx_index s32min-(-2),0-s32max
DATA_SOURCE 0 team $0
DATA_SOURCE 1 port $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

drivers/net/team/team_core.c team_queue_override_port_del() -> __team_queue_override_port_del()

Type Parameter Key Value
PARAM_VALUE 0 team 4096-ptr_max
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
PARAM_VALUE 1 port->tx_hlist->next->pprev 1-u64max
PARAM_VALUE 1 port->tx_hlist.pprev 4096-ptr_max
PARAM_VALUE 1 port->tx_index (-1)
BUF_SIZE 1 port s32min-(-1),1-s32max
BUF_SIZE 1 port s32min-(-1),1-s32max
CAPPED_DATA 1 port 1
DATA_SOURCE 0 team $0
DATA_SOURCE 1 port $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/team/team_core.c team_queue_override_port_prio_changed() -> __team_queue_override_port_del()

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
PARAM_VALUE 1 port->queue_id 1-u16max
PARAM_VALUE 1 port->tx_index s32min-(-2),0-s32max
DATA_SOURCE 0 team $0
DATA_SOURCE 1 port $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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