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_queue_add() -> batadv_iv_ogm_can_aggregate()

Type Parameter Key Value
PARAM_VALUE 0 new_bat_ogm_packet 4096-ptr_max
PARAM_VALUE 1 bat_priv 4096-ptr_max
PARAM_VALUE 1 bat_priv->forw_bat_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 packet_len 24-65559
PARAM_VALUE 5 if_incoming 4096-ptr_max
PARAM_VALUE 5 if_incoming->if_status 2
PARAM_VALUE 5 if_incoming->mesh_iface->priv 4096-ptr_max
PARAM_VALUE 5 if_incoming->mesh_iface->priv->algo_ops->iface.enable 7150307811096809472
PARAM_VALUE 5 if_incoming->mesh_iface->priv->mesh_state 1
PARAM_VALUE 5 if_incoming->neigh_list->first->pprev 1-u64max
PARAM_VALUE 5 if_incoming->neigh_list.first 4096-ptr_max
PARAM_VALUE 5 if_incoming->neigh_list.first->pprev 4096-ptr_max
PARAM_VALUE 5 if_incoming->neigh_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 6 if_outgoing 4096-ptr_max
PARAM_VALUE 6 if_outgoing->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 6 if_outgoing->dev_tracker->dead 0-1
PARAM_VALUE 6 if_outgoing->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 6 if_outgoing->if_status 2
PARAM_VALUE 6 if_outgoing->meshif_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 6 if_outgoing->meshif_dev_tracker->dead 0-1
PARAM_VALUE 6 if_outgoing->meshif_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 7 forw_packet 1-u64max
BUF_SIZE 0 new_bat_ogm_packet (-1),20,24
BUF_SIZE 0 new_bat_ogm_packet (-1),20,24
CAPPED_DATA 2 packet_len 1
CAPPED_DATA 5 if_incoming 1
CAPPED_DATA 6 if_outgoing 1
DATA_SOURCE 0 new_bat_ogm_packet $1
DATA_SOURCE 1 bat_priv $0
DATA_SOURCE 2 packet_len $2
DATA_SOURCE 3 send_time $6
DATA_SOURCE 5 if_incoming $3
DATA_SOURCE 6 if_outgoing $4
NOSPEC 2 packet_len
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 new_bat_ogm_packet->flags 0-255[u]
USER_DATA 0 new_bat_ogm_packet->packet_type 0-255[u]
USER_DATA 0 new_bat_ogm_packet->reserved 0-255[u]
USER_DATA 0 new_bat_ogm_packet->seqno 0-u32max[u]
USER_DATA 0 new_bat_ogm_packet->tq 0-255[u]
USER_DATA 0 new_bat_ogm_packet->ttl 0-255[u]
USER_DATA 0 new_bat_ogm_packet->tvlv_len 0-u16max[u]
USER_DATA 0 new_bat_ogm_packet->version 0-255[u]
USER_DATA 2 packet_len 24-65559[c]
USER_DATA 4 directlink 0-1
NO_OVERFLOW_SIMPLE 1 bat_priv->tt.last_changeset_len
NO_OVERFLOW_SIMPLE 5 if_incoming->batman_adv_ptype.dev->group
NO_OVERFLOW_SIMPLE 5 if_incoming->batman_adv_ptype.dev->num_napi_configs
NO_OVERFLOW_SIMPLE 5 if_incoming->batman_adv_ptype.dev->num_rx_queues
NO_OVERFLOW_SIMPLE 5 if_incoming->batman_adv_ptype.dev->num_tx_queues
NO_OVERFLOW_SIMPLE 5 if_incoming->batman_adv_ptype.dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 5 if_incoming->batman_adv_ptype.dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 5 if_incoming->net_dev->group
NO_OVERFLOW_SIMPLE 5 if_incoming->net_dev->num_napi_configs
NO_OVERFLOW_SIMPLE 5 if_incoming->net_dev->num_rx_queues
NO_OVERFLOW_SIMPLE 5 if_incoming->net_dev->num_tx_queues
NO_OVERFLOW_SIMPLE 5 if_incoming->net_dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 5 if_incoming->net_dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 6 if_outgoing->batman_adv_ptype.dev->group
NO_OVERFLOW_SIMPLE 6 if_outgoing->batman_adv_ptype.dev->num_napi_configs
NO_OVERFLOW_SIMPLE 6 if_outgoing->batman_adv_ptype.dev->num_rx_queues
NO_OVERFLOW_SIMPLE 6 if_outgoing->batman_adv_ptype.dev->num_tx_queues
NO_OVERFLOW_SIMPLE 6 if_outgoing->batman_adv_ptype.dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 6 if_outgoing->batman_adv_ptype.dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 6 if_outgoing->net_dev->group
NO_OVERFLOW_SIMPLE 6 if_outgoing->net_dev->num_napi_configs
NO_OVERFLOW_SIMPLE 6 if_outgoing->net_dev->num_rx_queues
NO_OVERFLOW_SIMPLE 6 if_outgoing->net_dev->num_tx_queues
NO_OVERFLOW_SIMPLE 6 if_outgoing->net_dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 6 if_outgoing->net_dev->real_num_tx_queues
UNITS 0 new_bat_ogm_packet unit_byte
UNITS 2 packet_len unit_byte
USER_PTR 0 new_bat_ogm_packet
LOCK2 bh
LOCK2 rcu_read
LOCK2 1 &bat_priv->forw_bat_list_lock
TYPE_LOCK (struct batadv_priv)->forw_bat_list_lock