Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/mellanox/mlxsw/spectrum_switchdev.c mlxsw_sp_switchdev_bridge_nve_fdb_event() -> mlxsw_sp_switchdev_bridge_vxlan_fdb_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mlxsw_sp | 4096-ptr_max |
| PARAM_VALUE | 0 | mlxsw_sp->bridge | 4096-ptr_max |
| PARAM_VALUE | 1 | switchdev_work | 4096-ptr_max |
| PARAM_VALUE | 1 | switchdev_work->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | switchdev_work->dev->rtnl_link_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | switchdev_work->event | 3-4 |
| PARAM_VALUE | 2 | fid | 4096-ptr_max |
| PARAM_VALUE | 2 | fid->vni_valid | 1 |
| DATA_SOURCE | 0 | mlxsw_sp | r mlxsw_sp_lower_get |
| DATA_SOURCE | 1 | switchdev_work | $0 |
| NOCHECK_CALL | |||
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &pool->lock |