Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/infiniband/hw/irdma/cm.c in_dev_put() -> in_dev_finish_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| DATA_SOURCE | 0 | idev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &ctx->mutex | ||
| HALF_LOCKED2 | &device->client_data_rwsem | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &clients_rwsem | ||
| HALF_LOCKED2 | global &ctrl_lock | ||
| HALF_LOCKED2 | global &devices_rwsem | ||
| HALF_LOCKED2 | global &ib_ctx.ib_dev_mutex | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &lock |
drivers/infiniband/ulp/ipoib/ipoib_main.c in_dev_put() -> in_dev_finish_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| CAPPED_DATA | 0 | idev->dev->nd_net.net | 1 |
| DATA_SOURCE | 0 | idev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
drivers/infiniband/hw/cxgb4/cm.c in_dev_put() -> in_dev_finish_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| DATA_SOURCE | 0 | idev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &id_priv->handler_mutex | ||
| HALF_LOCKED2 | &iser_conn->state_mutex |
net/ipv4/igmp.c in_dev_put() -> in_dev_finish_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| BUF_SIZE | 0 | idev->arp_parms | (-1),160 |
| BUF_SIZE | 0 | idev->arp_parms->tbl | (-1),1136 |
| DATA_SOURCE | 0 | idev | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | idev->dev->flags | 0-527362[c] |
| HALF_LOCKED2 | &im->lock | ||
| HALF_LOCKED2 | &in_dev->mc_tomb_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/qlogic/qlcnic/qlcnic_main.c in_dev_put() -> in_dev_finish_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| DATA_SOURCE | 0 | idev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/qlogic/netxen/netxen_nic_main.c in_dev_put() -> in_dev_finish_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| DATA_SOURCE | 0 | idev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/bridge/br_multicast.c in_dev_put() -> in_dev_finish_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| DATA_SOURCE | 0 | idev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &rtnl_mutex |
net/ipv4/devinet.c in_dev_put() -> in_dev_finish_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| BUF_SIZE | 0 | idev | (-1),536 |
| BUF_SIZE | 0 | idev | (-1),536 |
| BUF_SIZE | 0 | idev->arp_parms | (-1),160 |
| BUF_SIZE | 0 | idev->arp_parms->tbl | (-1),1136 |
| DATA_SOURCE | 0 | idev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |