Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- net/batman-adv/bat_iv_ogm.c, line 1107
- net/batman-adv/bat_v_ogm.c, line 770
- net/batman-adv/originator.c
Smatch caller information:
net/batman-adv/bat_iv_ogm.c batadv_iv_ogm_orig_update() -> batadv_update_route()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bat_priv | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node->ifinfo_list.first | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node->ifinfo_list.first->pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node->neigh_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | recv_if | 0,4096-ptr_max |
| PARAM_VALUE | 2 | recv_if->dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | recv_if->dev_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | recv_if->dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | recv_if->if_status | 2 |
| PARAM_VALUE | 2 | recv_if->meshif_dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | recv_if->meshif_dev_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | recv_if->meshif_dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 3 | neigh_node | 4096-ptr_max |
| PARAM_VALUE | 3 | neigh_node->ifinfo_list->first->pprev | 1-u64max |
| PARAM_VALUE | 3 | neigh_node->ifinfo_list.first | 4096-ptr_max |
| PARAM_VALUE | 3 | neigh_node->ifinfo_list.first->pprev | 4096-ptr_max |
| PARAM_VALUE | 3 | neigh_node->ifinfo_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 1 | orig_node | (-1),1656 |
| BUF_SIZE | 1 | orig_node | (-1),1656 |
| BUF_SIZE | 3 | neigh_node | (-1),160 |
| BUF_SIZE | 3 | neigh_node | (-1),160 |
| CAPPED_DATA | 1 | orig_node | 1 |
| CAPPED_DATA | 2 | recv_if | 1 |
| DATA_SOURCE | 0 | bat_priv | $0 |
| DATA_SOURCE | 1 | orig_node | $1 |
| DATA_SOURCE | 2 | recv_if | $6 |
| NOSPEC | 1 | orig_node->tt_buff_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | orig_node->last_ttvn | 0-255[u] |
| USER_DATA | 1 | orig_node->tt_buff_len | 1-u16max[c] |
| USER_DATA | 1 | *orig_node->tt_buff | 0-255 |
| USER_DATA | 3 | neigh_node->orig_node_id->last_ttvn | 0-255[u] |
| USER_DATA | 3 | neigh_node->orig_node_id->mcast_flags | 1-255 |
| USER_DATA | 3 | neigh_node->orig_node_id->tt_buff_len | 1-u16max[c] |
net/batman-adv/originator.c batadv_purge_orig_node() -> batadv_update_route()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bat_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | bat_priv->orig_hash | 1-u64max |
| PARAM_VALUE | 0 | bat_priv->orig_hash->list_locks | 4096-ptr_max |
| PARAM_VALUE | 0 | bat_priv->orig_hash->size | 1-u32max |
| PARAM_VALUE | 0 | bat_priv->orig_hash->table | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node->neigh_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | recv_if | 0 |
| PARAM_VALUE | 3 | neigh_node->refcount.refcount.refs.counter | (-1073741824),0-s32max |
| DATA_SOURCE | 0 | bat_priv | $0 |
| DATA_SOURCE | 1 | orig_node | $1 |
| DATA_SOURCE | 3 | neigh_node | r batadv_find_best_neighbor |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | list_lock |
net/batman-adv/originator.c batadv_purge_orig_node() -> batadv_update_route()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bat_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | bat_priv->orig_hash | 1-u64max |
| PARAM_VALUE | 0 | bat_priv->orig_hash->list_locks | 4096-ptr_max |
| PARAM_VALUE | 0 | bat_priv->orig_hash->size | 1-u32max |
| PARAM_VALUE | 0 | bat_priv->orig_hash->table | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node->neigh_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | recv_if | 4096-ptr_max |
| PARAM_VALUE | 2 | recv_if->if_status | 2 |
| PARAM_VALUE | 2 | recv_if->refcount.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 3 | neigh_node->hardif_neigh->if_incoming->dev_tracker->dead | 0-1 |
| PARAM_VALUE | 3 | neigh_node->hardif_neigh->if_incoming->meshif_dev_tracker->dead | 0-1 |
| PARAM_VALUE | 3 | neigh_node->if_incoming->dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 3 | neigh_node->if_incoming->dev_tracker->dead | 0-1 |
| PARAM_VALUE | 3 | neigh_node->if_incoming->dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 3 | neigh_node->if_incoming->meshif_dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 3 | neigh_node->if_incoming->meshif_dev_tracker->dead | 0-1 |
| PARAM_VALUE | 3 | neigh_node->if_incoming->meshif_dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 3 | neigh_node->refcount.refcount.refs.counter | (-1073741824),0-s32max |
| BUF_SIZE | 2 | recv_if | 1104 |
| CAPPED_DATA | 2 | recv_if | 1 |
| DATA_SOURCE | 0 | bat_priv | $0 |
| DATA_SOURCE | 1 | orig_node | $1 |
| DATA_SOURCE | 2 | recv_if | r netdev_lower_get_next_private_rcu |
| DATA_SOURCE | 3 | neigh_node | r batadv_find_best_neighbor |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | list_lock | ||
| LOCK2 | rcu_read |
net/batman-adv/bat_v_ogm.c batadv_v_ogm_route_update() -> batadv_update_route()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bat_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | bat_priv->mesh_iface->ethtool_ops->supported_coalesce_params | 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563,595,597,1553,1587,1681,132625,135697,657041,677393,2029107,2097665,2300433,2300595,3653155,12583935,12584499,13239859,117440512,536872499,s32max |
| PARAM_VALUE | 0 | bat_priv->orig_hash | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node->ifinfo_list.first | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node->ifinfo_list.first->pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | orig_node->last_bonding_candidate->if_outgoing->dev_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | orig_node->neigh_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | recv_if | 0,4096-ptr_max |
| PARAM_VALUE | 2 | recv_if->dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | recv_if->dev_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | recv_if->dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | recv_if->if_status | 2 |
| PARAM_VALUE | 2 | recv_if->meshif_dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | recv_if->meshif_dev_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | recv_if->meshif_dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 3 | neigh_node | 4096-ptr_max |
| PARAM_VALUE | 3 | neigh_node->ifinfo_list->first->pprev | 1-u64max |
| PARAM_VALUE | 3 | neigh_node->ifinfo_list.first | 4096-ptr_max |
| PARAM_VALUE | 3 | neigh_node->ifinfo_list.first->pprev | 4096-ptr_max |
| PARAM_VALUE | 3 | neigh_node->ifinfo_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 1 | orig_node | (-1),1656 |
| BUF_SIZE | 1 | orig_node | (-1),1656 |
| BUF_SIZE | 3 | neigh_node | (-1),160 |
| BUF_SIZE | 3 | neigh_node | (-1),160 |
| CAPPED_DATA | 1 | orig_node | 1 |
| CAPPED_DATA | 2 | recv_if | 1 |
| CAPPED_DATA | 3 | neigh_node | 1 |
| DATA_SOURCE | 0 | bat_priv | $0 |
| DATA_SOURCE | 1 | orig_node | $3 |
| DATA_SOURCE | 2 | recv_if | $6 |
| DATA_SOURCE | 3 | neigh_node | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | orig_node->last_ttvn | 0-255[u] |
| USER_DATA | 1 | orig_node->mcast_flags | 1-255 |
| USER_DATA | 1 | orig_node->tt_buff_len | 13-u16max[c] |
| USER_DATA | 1 | *orig_node->tt_buff | 0-255 |
| USER_DATA | 3 | neigh_node->orig_node_id->last_ttvn | 0-255[u] |
| USER_DATA | 3 | neigh_node->orig_node_id->mcast_flags | 1-255 |
| HALF_LOCKED2 | rcu_read |