Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/batman-adv/translation-table.c batadv_tt_free() -> batadv_tt_changes_list_free()

Type Parameter Key Value
PARAM_VALUE 0 bat_priv 4096-ptr_max
PARAM_VALUE 0 bat_priv->bat_v.ogm_buff.capacity 0,20
PARAM_VALUE 0 bat_priv->bat_v.ogm_buff.header_length 0,20
PARAM_VALUE 0 bat_priv->bat_v.ogm_buff.len 0,20
PARAM_VALUE 0 bat_priv->bla.claim_hash 0,4096-ptr_max
PARAM_VALUE 0 bat_priv->bla.work.work.lockdep_map->name 0-255
PARAM_VALUE 0 bat_priv->dat.hash 0
PARAM_VALUE 0 bat_priv->mesh_state 2
PARAM_VALUE 0 bat_priv->primary_if 0,4096-ptr_max
PARAM_VALUE 0 bat_priv->primary_if->refcount.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 bat_priv->tt.changes_list.prev->next 4096-ptr_max
PARAM_VALUE 0 bat_priv->tt.global_hash 0
PARAM_VALUE 0 bat_priv->tt.local_hash 0
PARAM_VALUE 0 bat_priv->tt.req_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bat_priv->tt.work.work.lockdep_map->name 0-255
PARAM_VALUE 0 bat_priv->tvlv.container_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bat_priv->tvlv.handler_list_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 bat_priv $0
HARD_MAX 0 bat_priv->bat_v.ogm_buff.capacity 20
HARD_MAX 0 bat_priv->bat_v.ogm_buff.header_length 20
HARD_MAX 0 bat_priv->bat_v.ogm_buff.len 20
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bat_priv->bla.backbone_hash->size
NO_OVERFLOW_SIMPLE 0 bat_priv->bla.claim_hash->size
NO_OVERFLOW_SIMPLE 0 bat_priv->dat.hash->size
NO_OVERFLOW_SIMPLE 0 bat_priv->orig_hash->size
NO_OVERFLOW_SIMPLE 0 bat_priv->tt.global_hash->size
NO_OVERFLOW_SIMPLE 0 bat_priv->tt.local_hash->size