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_bucket() -> batadv_tt_local_dump_entry()

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 2 cb->seq 0-s32max,2147483649-u32max
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 common 4096-ptr_max
BUF_SIZE 0 msg (-1)-s32max
BUF_SIZE 0 msg (-1)-s32max
BUF_SIZE 2 cb->extack 128
CAPPED_DATA 2 cb->seq 1
CAPPED_DATA 2 cb->skb->sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 msg $0
DATA_SOURCE 1 portid $1
DATA_SOURCE 2 cb $2
DATA_SOURCE 3 bat_priv $3
BIT_INFO 2 cb->seq 0x1,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 &nlk->nl_cb_mutex
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex