Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mellanox/mlx5/core/lag/mpesw.c mlx5_lag_is_mpesw() -> __mlx5_lag_dev_is_port()

Type Parameter Key Value
PARAM_VALUE 0 ldev 4096-ptr_max
PARAM_VALUE 0 ldev->mode 4
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->cmd.vars.throttle_sem.first_waiter->up 0-1
PARAM_VALUE 1 dev->cmd.vars.unprivileged_sem.first_waiter->up 0-1
PARAM_VALUE 1 dev->pdev->bus->self->link_bwctrl->cdev 0-s64max
PARAM_VALUE 1 dev->priv.lag 4096-ptr_max
PARAM_VALUE 1 dev->priv.lag->mode 4
PARAM_VALUE 1 *dev->priv.lag->lag_mpesw.pf_metadata 0-4294967295
DATA_SOURCE 1 dev $0
PARAM_COMPARE 0 ldev == $1->priv.lag
PARAM_COMPARE 1 dev->priv.lag == $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 dev->cmd.pool->allocation
UNITS 1 dev unit_byte
HALF_LOCKED2 &devcom->comp->sem
HALF_LOCKED2 &esw->offloads.encap_tbl_lock
HALF_LOCKED2 &esw->offloads.reps_lock
HALF_LOCKED2 1 &dev->priv.eswitch->mode_lock