Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/team/team_core.c __team_change_mode() -> __team_change_mode ptr exit_op()

Type Parameter Key Value
PARAM_VALUE 0 team 4096-ptr_max
PARAM_VALUE 0 team->mode 0-6233454282755117055,6233454282755117057-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 0 team->ops.exit 0
PARAM_VALUE 0 team->ops.init 0
PARAM_VALUE 0 team->ops.port_change_dev_addr 0
PARAM_VALUE 0 team->ops.port_enter 0
PARAM_VALUE 0 team->ops.port_leave 0
PARAM_VALUE 0 team->ops.port_tx_disabled 0
DATA_SOURCE 0 team $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex