Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/batman-adv/routing.c batadv_update_route() -> _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->neigh_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 recv_if 0,4096-ptr_max
PARAM_VALUE 2 recv_if->if_status 2
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 $2
DATA_SOURCE 3 neigh_node $3
NOSPEC 1 orig_node->tt_buff_len
PREEMPT_ADD
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 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]
HALF_LOCKED2 bh
HALF_LOCKED2 list_lock
HALF_LOCKED2 rcu_read