Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/team/team_core.c __team_port_disable_tx() -> (struct team_mode_ops)->port_tx_disabled()

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 0 team->ops.port_tx_disabled 1-u64max
PARAM_VALUE 1 port 4096-ptr_max
PARAM_VALUE 1 port->tx_index s32min-(-2),0-s32max
BUF_SIZE 1 port s32min-(-1),1-s32max
BUF_SIZE 1 port s32min-(-1),1-s32max
DATA_SOURCE 0 team $0
DATA_SOURCE 1 port $1
CONTAINER 0 -56-208+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex