Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/mellanox/mlxsw/spectrum_switchdev.c mlxsw_sp_bridge_vxlan_join() -> (struct mlxsw_sp_bridge_ops)->vxlan_join()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bridge_device | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge_device->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge_device->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | vxlan_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | vxlan_dev->rtnl_link_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | vid | 0 |
| CAPPED_DATA | 0 | bridge_device->dev | 1 |
| DATA_SOURCE | 0 | bridge_device | r mlxsw_sp_bridge_device_find |
| DATA_SOURCE | 1 | vxlan_dev | $2 |
| DATA_SOURCE | 2 | vid | $3 |
| DATA_SOURCE | 3 | extack | $4 |
| CONTAINER | 0 | -16-472+0 | $(-1) |
drivers/net/ethernet/mellanox/mlxsw/spectrum_switchdev.c mlxsw_sp_switchdev_vxlan_vlan_add() -> (struct mlxsw_sp_bridge_ops)->vxlan_join()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bridge_device | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge_device->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge_device->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge_device->vlan_enabled | 1 |
| PARAM_VALUE | 1 | vxlan_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | vxlan_dev->rtnl_link_ops | 4096-ptr_max |
| CAPPED_DATA | 0 | bridge_device->dev | 1 |
| DATA_SOURCE | 0 | bridge_device | $1 |
| DATA_SOURCE | 1 | vxlan_dev | $2 |
| DATA_SOURCE | 2 | vid | $3 |
| DATA_SOURCE | 3 | extack | $6 |
| CONTAINER | 0 | -16-472+0 | $(-1) |
drivers/net/ethernet/mellanox/mlxsw/spectrum_switchdev.c mlxsw_sp_switchdev_vxlan_vlan_add() -> (struct mlxsw_sp_bridge_ops)->vxlan_join()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bridge_device | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge_device->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge_device->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge_device->vlan_enabled | 1 |
| PARAM_VALUE | 1 | vxlan_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | vxlan_dev->rtnl_link_ops | 4096-ptr_max |
| CAPPED_DATA | 0 | bridge_device->dev | 1 |
| DATA_SOURCE | 0 | bridge_device | $1 |
| DATA_SOURCE | 1 | vxlan_dev | $2 |
| DATA_SOURCE | 2 | vid | $3 |
| DATA_SOURCE | 3 | extack | $6 |
| CONTAINER | 0 | -16-472+0 | $(-1) |
drivers/net/ethernet/mellanox/mlxsw/spectrum_switchdev.c mlxsw_sp_switchdev_vxlan_vlan_add() -> (struct mlxsw_sp_bridge_ops)->vxlan_join()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bridge_device | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge_device->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge_device->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bridge_device->vlan_enabled | 1 |
| PARAM_VALUE | 1 | vxlan_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | vxlan_dev->rtnl_link_ops | 4096-ptr_max |
| PARAM_VALUE | 3 | extack | 0 |
| CAPPED_DATA | 0 | bridge_device->dev | 1 |
| DATA_SOURCE | 0 | bridge_device | $1 |
| DATA_SOURCE | 1 | vxlan_dev | $2 |
| DATA_SOURCE | 2 | vid | r mlxsw_sp_fid_8021q_vid |
| CONTAINER | 0 | -16-472+0 | $(-1) |
| NOCHECK_CALL |