Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- drivers/infiniband/core/cache.c, line 1386
- drivers/infiniband/core/cma.c, line 3266
- drivers/net/ethernet/mellanox/mlxsw/spectrum.c, line 4021
- net/core/dev.c, line 8695
- net/smc/smc_core.c, line 1922
- net/switchdev/switchdev.c, line 602
Smatch caller information:
drivers/infiniband/core/cma.c iboe_tos_to_sl() -> netdev_walk_all_lower_dev_rcu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->ifindex | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | dev->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fn | 2266933614269136896 |
| PARAM_VALUE | 2 | priv | 6089036548123303936 |
| PARAM_VALUE | 2 | priv->data | 8244753924057350144 |
| CAPPED_DATA | 0 | dev->ifindex | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &ctx->mutex | ||
| HALF_LOCKED2 | &iser_conn->state_mutex | ||
| HALF_LOCKED2 | &pool->lock |
net/smc/smc_core.c smc_vlan_by_tcpsk() -> netdev_walk_all_lower_dev_rcu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fn | 3230780459913641984 |
| PARAM_VALUE | 2 | priv | 6729868251858980864 |
| PARAM_VALUE | 2 | priv->data | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &new_smc->sk | ||
| HALF_LOCKED2 | global &smc_server_lgr_pending |
drivers/net/ethernet/mellanox/mlxsw/spectrum.c mlxsw_sp_port_dev_lower_find_rcu() -> netdev_walk_all_lower_dev_rcu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->netdev_ops | 0-7495509715522420735,7495509715522420737-u64max |
| PARAM_VALUE | 1 | fn | 9044777718699229184 |
| PARAM_VALUE | 2 | priv | 4270862589261697024 |
| PARAM_VALUE | 2 | priv->data | 0 |
| PARAM_VALUE | 2 | priv->flags | 0 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | rcu_read |
net/switchdev/switchdev.c switchdev_lower_dev_find_rcu() -> netdev_walk_all_lower_dev_rcu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fn | 6382472721868365824 |
| PARAM_VALUE | 2 | priv | 645420969239760896 |
| PARAM_VALUE | 2 | priv->data | 8684512330701651968 |
| PARAM_VALUE | 2 | priv->flags | 0 |
| DATA_SOURCE | 0 | dev | $0 |
| NOCHECK_CALL |
drivers/infiniband/core/cache.c rdma_read_gid_l2_fields() -> netdev_walk_all_lower_dev_rcu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | fn | 6796976576621502464 |
| PARAM_VALUE | 2 | priv | 1240252843057246208 |
| PARAM_VALUE | 2 | priv->data | 4096-ptr_max |
| PARAM_VALUE | 2 | priv->flags | 0 |
| PARAM_COMPARE | 0 | dev | == $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &qp->q_lock | ||
| HALF_LOCKED2 | &qp->sq_lock | ||
| HALF_LOCKED2 | &table->lock | ||
| HALF_LOCKED2 | &table->rwlock | ||
| HALF_LOCKED2 | flags |