Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/team/team_core.c team_port_leave() -> (struct team_mode_ops)->port_leave()

Type Parameter Key Value
PARAM_VALUE 0 team 4096-ptr_max
PARAM_VALUE 0 team->mode->lag_tx_type 0-5
PARAM_VALUE 0 team->mode->port_priv_size 0-3999840,18446744073709551456-u64max
PARAM_VALUE 0 team->ops.port_leave 1-u64max
PARAM_VALUE 1 port 4096-ptr_max
PARAM_VALUE 1 port->dev 4096-ptr_max
PARAM_VALUE 1 port->dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 1 port->dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 1 port->np->dev->npinfo->rcu.func 1-u64max
PARAM_VALUE 1 port->np->dev->npinfo->tx_work.work.lockdep_map->name 0-255
BUF_SIZE 1 port s32min-(-2),1-s32max
BUF_SIZE 1 port s32min-(-2),1-s32max
CAPPED_DATA 1 port 1
CAPPED_DATA 1 port->dev 1
DATA_SOURCE 0 team $0
DATA_SOURCE 1 port $1
CONTAINER 0 -40-208+0 $(-1)
NOSPEC 1 port->dev->ifindex
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 port->dev->flags 0-526849[c]
USER_DATA 1 port->dev->ifindex 0-s32max[c]
USER_DATA 1 port->dev->num_tc 2-16[c]
NO_OVERFLOW_SIMPLE 1 port->dev->group
HALF_LOCKED2 global &rtnl_mutex