Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/batman-adv/translation-table.c batadv_tt_local_dump() -> batadv_tt_local_dump_bucket()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->data 4096-ptr_max
PARAM_VALUE 0 msg->data_len 0-1
PARAM_VALUE 0 msg->destructor 172217845709488128
PARAM_VALUE 0 msg->sk 4096-ptr_max
PARAM_VALUE 2 cb 4096-ptr_max
PARAM_VALUE 2 cb->args 4096-ptr_max
PARAM_VALUE 2 cb->extack 1892393987123912704
PARAM_VALUE 2 cb->extack->_msg 0
PARAM_VALUE 2 cb->extack->bad_attr 0
PARAM_VALUE 2 cb->extack->cookie_len 0
PARAM_VALUE 2 cb->extack->miss_nest 0
PARAM_VALUE 2 cb->extack->miss_type 0
PARAM_VALUE 2 cb->extack->policy 0
PARAM_VALUE 2 cb->nlh 4096-ptr_max
PARAM_VALUE 3 bat_priv 4096-ptr_max
PARAM_VALUE 3 bat_priv->primary_if 4096-ptr_max
PARAM_VALUE 3 bat_priv->primary_if->refcount.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 3 bat_priv->tt.local_hash->size 1-u32max
PARAM_VALUE 4 hash 4096-ptr_max
PARAM_VALUE 4 hash->size 1-u32max
PARAM_VALUE 5 bucket 0-4294967294
PARAM_VALUE 6 idx_s 725512774674837504
BUF_SIZE 0 msg (-1)-s32max
BUF_SIZE 0 msg (-1)-s32max
BUF_SIZE 2 cb (-1),128
BUF_SIZE 2 cb (-1),128
BUF_SIZE 2 cb->extack 128
CAPPED_DATA 2 cb->skb->sk->__sk_common.skc_net.net 1
CAPPED_DATA 5 bucket 1
DATA_SOURCE 0 msg $0
DATA_SOURCE 2 cb $1
PARAM_COMPARE 5 bucket < $4->size
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 msg->sk->sk_backlog.len
UNITS 5 bucket unit_array_size
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex