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_periodic_work() -> batadv_bla_send_loopdetect()

Type Parameter Key Value
PARAM_VALUE 0 bat_priv 4096-ptr_max
PARAM_VALUE 0 bat_priv->bla.backbone_hash 1-u64max
PARAM_VALUE 0 bat_priv->bla.backbone_hash->size 1-s32max
PARAM_VALUE 0 bat_priv->bla.backbone_hash->table 4096-ptr_max
PARAM_VALUE 0 bat_priv->bla.claim_hash 0,4096-ptr_max
PARAM_VALUE 0 bat_priv->bla.claim_hash->size 0-s32max
PARAM_VALUE 0 bat_priv->bla.loopdetect_addr 4096-ptr_max
PARAM_VALUE 0 bat_priv->bla.loopdetect_next.counter 6
PARAM_VALUE 0 bat_priv->bridge_loop_avoidance 1-255
PARAM_VALUE 0 bat_priv->primary_if 4096-ptr_max
PARAM_VALUE 0 bat_priv->primary_if->refcount.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 backbone_gw 4096-ptr_max
PARAM_VALUE 1 backbone_gw->crc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 backbone_gw->orig 4096-ptr_max
CAPPED_DATA 0 bat_priv->bla.backbone_hash->size 1
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock