Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/batman-adv/bat_iv_ogm.c batadv_iv_ogm_forward() -> batadv_iv_ogm_queue_add()

Type Parameter Key Value
PARAM_VALUE 0 bat_priv 4096-ptr_max
PARAM_VALUE 1 packet_buff 4096-ptr_max
PARAM_VALUE 2 packet_len 24-65559
PARAM_VALUE 3 if_incoming 4096-ptr_max
PARAM_VALUE 3 if_incoming->if_status 2
PARAM_VALUE 3 if_incoming->mesh_iface 1-u64max
PARAM_VALUE 3 if_incoming->mesh_iface->priv 4096-ptr_max
PARAM_VALUE 3 if_incoming->mesh_iface->priv->algo_ops->iface.enable 7150307811096809472
PARAM_VALUE 3 if_incoming->mesh_iface->priv->mesh_state 1
PARAM_VALUE 3 if_incoming->neigh_list->first->pprev 1-u64max
PARAM_VALUE 3 if_incoming->neigh_list.first 4096-ptr_max
PARAM_VALUE 3 if_incoming->neigh_list.first->pprev 4096-ptr_max
PARAM_VALUE 3 if_incoming->neigh_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 if_outgoing 4096-ptr_max
PARAM_VALUE 4 if_outgoing->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 4 if_outgoing->dev_tracker->dead 0-1
PARAM_VALUE 4 if_outgoing->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 4 if_outgoing->if_status 2
PARAM_VALUE 4 if_outgoing->meshif_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 4 if_outgoing->meshif_dev_tracker->dead 0-1
PARAM_VALUE 4 if_outgoing->meshif_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 5 own_packet 0
CAPPED_DATA 3 if_incoming 1
CAPPED_DATA 4 if_outgoing 1
DATA_SOURCE 1 packet_buff $2
DATA_SOURCE 3 if_incoming $5
DATA_SOURCE 4 if_outgoing $6
PARAM_COMPARE 0 bat_priv == $3->mesh_iface->priv
PARAM_COMPARE 0 bat_priv == $3->mesh_iface->priv
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *packet_buff 0-255
USER_DATA 2 packet_len 24-65559
UNITS 1 packet_buff unit_byte
UNITS 2 packet_len unit_byte
USER_PTR 1 packet_buff
LOCK2 rcu_read

net/batman-adv/bat_iv_ogm.c batadv_iv_ogm_schedule_buff() -> batadv_iv_ogm_queue_add()

Type Parameter Key Value
PARAM_VALUE 0 bat_priv 4096-ptr_max
PARAM_VALUE 0 bat_priv->orig_hash 4096-ptr_max
PARAM_VALUE 0 bat_priv->primary_if 0,4096-ptr_max
PARAM_VALUE 1 packet_buff 4096-ptr_max
PARAM_VALUE 3 if_incoming 4096-ptr_max
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff.buf 1-u64max
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.dep_map->name 0-255
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.wait_lock.owner (-1)
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 3 if_incoming->if_status 1-2,4-255
PARAM_VALUE 3 if_incoming->mesh_iface->priv 4096-ptr_max
PARAM_VALUE 3 if_incoming->mesh_iface->priv->orig_hash 4096-ptr_max
PARAM_VALUE 4 if_outgoing 4096-ptr_max
PARAM_VALUE 4 if_outgoing->bat_iv.ogm_buff.buf 1-u64max
PARAM_VALUE 4 if_outgoing->bat_iv.ogm_buff_mutex.dep_map->name 0-255
PARAM_VALUE 4 if_outgoing->bat_iv.ogm_buff_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 4 if_outgoing->bat_iv.ogm_buff_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 4 if_outgoing->bat_iv.ogm_buff_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 4 if_outgoing->bat_iv.ogm_buff_mutex.wait_lock.owner (-1)
PARAM_VALUE 4 if_outgoing->bat_iv.ogm_buff_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 4 if_outgoing->if_status 1-2,4-255
PARAM_VALUE 4 if_outgoing->mesh_iface->priv 4096-ptr_max
PARAM_VALUE 4 if_outgoing->mesh_iface->priv->orig_hash 4096-ptr_max
PARAM_VALUE 5 own_packet 1
BUF_SIZE 1 packet_buff 20,24
CAPPED_DATA 3 if_incoming 1
CAPPED_DATA 3 if_incoming->mesh_iface->priv->orig_hash->size 1
CAPPED_DATA 4 if_outgoing 1
CAPPED_DATA 4 if_outgoing->mesh_iface->priv->orig_hash->size 1
DATA_SOURCE 3 if_incoming $0
DATA_SOURCE 4 if_outgoing $0
DATA_SOURCE 6 send_time r batadv_iv_ogm_emit_send_time
FUZZY_MAX 3 if_incoming->if_status 2
FUZZY_MAX 4 if_outgoing->if_status 2
PARAM_COMPARE 0 bat_priv == $3->mesh_iface->priv
PARAM_COMPARE 0 bat_priv == $3->mesh_iface->priv
NOSPEC 3 if_incoming->batman_adv_ptype.dev->ifindex
NOSPEC 3 if_incoming->net_dev->ifindex
NOSPEC 4 if_outgoing->batman_adv_ptype.dev->ifindex
NOSPEC 4 if_outgoing->net_dev->ifindex
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 if_incoming->batman_adv_ptype.dev->flags 0-526850[c]
USER_DATA 3 if_incoming->batman_adv_ptype.dev->ifindex 0-s32max[c]
USER_DATA 3 if_incoming->net_dev->flags 0-526850[c]
USER_DATA 3 if_incoming->net_dev->ifindex 0-s32max[c]
USER_DATA 4 if_outgoing->batman_adv_ptype.dev->flags 0-526850[c]
USER_DATA 4 if_outgoing->batman_adv_ptype.dev->ifindex 0-s32max[c]
USER_DATA 4 if_outgoing->net_dev->flags 0-526850[c]
USER_DATA 4 if_outgoing->net_dev->ifindex 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 bat_priv->tt.last_changeset_len
NO_OVERFLOW_SIMPLE 3 if_incoming->batman_adv_ptype.dev->group
NO_OVERFLOW_SIMPLE 3 if_incoming->net_dev->group
NO_OVERFLOW_SIMPLE 4 if_outgoing->batman_adv_ptype.dev->group
NO_OVERFLOW_SIMPLE 4 if_outgoing->net_dev->group
UNITS 2 packet_len unit_byte
LOCK2 3 &if_incoming->bat_iv.ogm_buff_mutex
LOCK2 4 &if_outgoing->bat_iv.ogm_buff_mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct batadv_hard_iface_bat_iv)->ogm_buff_mutex

net/batman-adv/bat_iv_ogm.c batadv_iv_ogm_schedule_buff() -> batadv_iv_ogm_queue_add()

Type Parameter Key Value
PARAM_VALUE 0 bat_priv 4096-ptr_max
PARAM_VALUE 0 bat_priv->meshif_vlan_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bat_priv->orig_hash 4096-ptr_max
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 0 bat_priv->tt.changes_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bat_priv->tt.commit_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bat_priv->tt.last_changeset 0,16,4096-ptr_max
PARAM_VALUE 0 bat_priv->tt.last_changeset_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bat_priv->tt.ogm_append_cnt.counter 0-s32max
PARAM_VALUE 0 bat_priv->tvlv.container_list->first->pprev 1-u64max
PARAM_VALUE 0 bat_priv->tvlv.container_list.first 4096-ptr_max
PARAM_VALUE 0 bat_priv->tvlv.container_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 packet_buff 4096-ptr_max
PARAM_VALUE 3 if_incoming 4096-ptr_max
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff.buf 1-u64max
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff.capacity 0-4000000
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.dep_map->name 0-255
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.wait_lock.owner (-1)
PARAM_VALUE 3 if_incoming->bat_iv.ogm_buff_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 3 if_incoming->if_status 1-2,4-255
PARAM_VALUE 3 if_incoming->mesh_iface->priv 4096-ptr_max
PARAM_VALUE 3 if_incoming->mesh_iface->priv->meshif_vlan_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 if_incoming->mesh_iface->priv->orig_hash 4096-ptr_max
PARAM_VALUE 3 if_incoming->mesh_iface->priv->primary_if 4096-ptr_max
PARAM_VALUE 3 if_incoming->mesh_iface->priv->primary_if->refcount.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 3 if_incoming->mesh_iface->priv->tt.changes_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 if_incoming->mesh_iface->priv->tt.commit_lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 if_incoming->mesh_iface->priv->tt.last_changeset 0,16,4096-ptr_max
PARAM_VALUE 3 if_incoming->mesh_iface->priv->tt.last_changeset_lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 if_incoming->mesh_iface->priv->tt.ogm_append_cnt.counter 0-s32max
PARAM_VALUE 3 if_incoming->mesh_iface->priv->tvlv.container_list->first->pprev 1-u64max
PARAM_VALUE 3 if_incoming->mesh_iface->priv->tvlv.container_list.first 4096-ptr_max
PARAM_VALUE 3 if_incoming->mesh_iface->priv->tvlv.container_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 4 if_outgoing 4096-ptr_max
PARAM_VALUE 4 if_outgoing->refcount.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 5 own_packet 1
BUF_SIZE 1 packet_buff 20,24
BUF_SIZE 4 if_outgoing 1104
CAPPED_DATA 3 if_incoming 1
CAPPED_DATA 3 if_incoming->mesh_iface->priv->orig_hash->size 1
DATA_SOURCE 3 if_incoming $0
DATA_SOURCE 4 if_outgoing r netdev_lower_get_next_private_rcu
DATA_SOURCE 6 send_time r batadv_iv_ogm_emit_send_time
FUZZY_MAX 3 if_incoming->if_status 2
PARAM_COMPARE 0 bat_priv == $3->mesh_iface->priv
PARAM_COMPARE 0 bat_priv == $3->mesh_iface->priv
NOSPEC 3 if_incoming->batman_adv_ptype.dev->ifindex
NOSPEC 3 if_incoming->net_dev->ifindex
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 if_incoming->batman_adv_ptype.dev->flags 0-526850[c]
USER_DATA 3 if_incoming->batman_adv_ptype.dev->ifindex 0-s32max[c]
USER_DATA 3 if_incoming->net_dev->flags 0-526850[c]
USER_DATA 3 if_incoming->net_dev->ifindex 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 bat_priv->tt.last_changeset_len
NO_OVERFLOW_SIMPLE 3 if_incoming->batman_adv_ptype.dev->group
NO_OVERFLOW_SIMPLE 3 if_incoming->net_dev->group
UNITS 2 packet_len unit_byte
UNITS 6 send_time unit_jiffy
LOCK2 rcu_read
LOCK2 3 &if_incoming->bat_iv.ogm_buff_mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct batadv_hard_iface_bat_iv)->ogm_buff_mutex