Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/switchdev/switchdev.c __switchdev_handle_fdb_event_to_device() -> __switchdev_handle_fdb_event_to_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | r netdev_lower_get_next |
| DATA_SOURCE | 1 | orig_dev | $1 |
| DATA_SOURCE | 2 | event | $2 |
| DATA_SOURCE | 3 | fdb_info | $3 |
| DATA_SOURCE | 4 | check_cb | $4 |
| DATA_SOURCE | 5 | foreign_dev_check_cb | $5 |
| DATA_SOURCE | 6 | mod_cb | $6 |
net/switchdev/switchdev.c __switchdev_handle_fdb_event_to_device() -> __switchdev_handle_fdb_event_to_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 0 | dev | r netdev_master_upper_dev_get_rcu |
| DATA_SOURCE | 1 | orig_dev | $1 |
| DATA_SOURCE | 2 | event | $2 |
| DATA_SOURCE | 3 | fdb_info | $3 |
| DATA_SOURCE | 4 | check_cb | $4 |
| DATA_SOURCE | 5 | foreign_dev_check_cb | $5 |
| DATA_SOURCE | 6 | mod_cb | $6 |
net/switchdev/switchdev.c switchdev_handle_fdb_event_to_device() -> __switchdev_handle_fdb_event_to_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | event | 3-4 |
| PARAM_VALUE | 3 | fdb_info | 4096-ptr_max |
| PARAM_VALUE | 6 | mod_cb | 1379624553007894528,4114567765343399936,8226127125905768448 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | orig_dev | $0 |
| DATA_SOURCE | 2 | event | $1 |
| DATA_SOURCE | 3 | fdb_info | $2 |
| DATA_SOURCE | 4 | check_cb | $3 |
| DATA_SOURCE | 5 | foreign_dev_check_cb | $4 |
| DATA_SOURCE | 6 | mod_cb | $5 |