Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/batman-adv/bridge_loop_avoidance.c batadv_bla_add_claim() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| CAPPED_DATA | 0 | backbone_gw->vid | 1 |
| DATA_SOURCE | 0 | backbone_gw | $3 |
| NOSPEC | 0 | backbone_gw->vid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | backbone_gw->vid | 32769-36863[c] |
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_add_claim() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | backbone_gw->vid | 32769-36863[c] |
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_answer_request() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->crc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | backbone_gw->refcount.refcount.refs.counter | (-1073741824),0-s32max |
| CAPPED_DATA | 0 | backbone_gw | 1 |
| DATA_SOURCE | 0 | backbone_gw | r batadv_backbone_hash_find |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mesh_iface->tx_global_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_check_claim() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->orig | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_claim_dump_entry() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->crc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | backbone_gw->orig | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &nlk->nl_cb_mutex | ||
| TYPE_LOCK | (struct netlink_sock)->nl_cb_mutex |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_is_backbone_gw() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->refcount.refcount.refs.counter | (-1073741824),0-s32max |
| DATA_SOURCE | 0 | backbone_gw | r batadv_backbone_hash_find |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_loopdetect_check() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| CAPPED_DATA | 0 | &backbone_gw->report_work | 1 |
| DATA_SOURCE | 0 | backbone_gw | r batadv_bla_get_backbone_gw |
| NOSPEC | 0 | backbone_gw->vid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | backbone_gw->vid | 32769-36863[c] |
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_loopdetect_report() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->bat_priv | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_purge_backbone_gw() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->bat_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->hash_entry->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | backbone_gw->report_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | backbone_gw->state | 0 |
| CAPPED_DATA | 0 | &backbone_gw->report_work | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_purge_backbone_gw() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->bat_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->hash_entry->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | backbone_gw->report_work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | backbone_gw->state | 0 |
| CAPPED_DATA | 0 | &backbone_gw->report_work | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_purge_claims() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_rx() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->orig | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_tx() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->orig | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mesh_iface->tx_global_lock | ||
| HALF_LOCKED2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_bla_update_own_backbone_gw() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| DATA_SOURCE | 0 | backbone_gw | r batadv_bla_get_backbone_gw |
| NOSPEC | 0 | backbone_gw->vid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | backbone_gw->vid | 32769-36863[c] |
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_claim_release() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->crc_lock.rlock.dep_map->name | 0-255 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_handle_announce() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->crc_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| CAPPED_DATA | 0 | backbone_gw | 1 |
| DATA_SOURCE | 0 | backbone_gw | r batadv_bla_get_backbone_gw |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mesh_iface->tx_global_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_handle_claim() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| BUF_SIZE | 0 | backbone_gw | (-1),232 |
| CAPPED_DATA | 0 | backbone_gw | 1 |
| DATA_SOURCE | 0 | backbone_gw | r batadv_bla_get_backbone_gw |
| NOSPEC | 0 | backbone_gw->vid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | backbone_gw->vid | 32769-36863[c] |
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bridge_loop_avoidance.c batadv_handle_unclaim() -> batadv_backbone_gw_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | backbone_gw | 4096-ptr_max |
| PARAM_VALUE | 0 | backbone_gw->refcount.refcount.refs.counter | (-1073741824),0-s32max |
| DATA_SOURCE | 0 | backbone_gw | r batadv_backbone_hash_find |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |