Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/batman-adv/bat_iv_ogm.c batadv_iv_ogm_aggregate_new() -> batadv_forw_packet_alloc()

Type Parameter Key Value
PARAM_VALUE 0 if_incoming 4096-ptr_max
PARAM_VALUE 0 if_incoming->if_status 1-2,4-255
PARAM_VALUE 0 if_incoming->mesh_iface->priv 4096-ptr_max
PARAM_VALUE 1 if_outgoing 4096-ptr_max
PARAM_VALUE 2 queue_left 0,4096-ptr_max
PARAM_VALUE 3 bat_priv 4096-ptr_max
PARAM_VALUE 4 skb 4096-ptr_max
BUF_SIZE 2 queue_left 0,4
BUF_SIZE 2 queue_left 0,4
BUF_SIZE 4 skb (-1)-s32max
BUF_SIZE 4 skb (-1)-s32max
CAPPED_DATA 0 if_incoming 1
CAPPED_DATA 1 if_outgoing 1
DATA_SOURCE 0 if_incoming $4
DATA_SOURCE 1 if_outgoing $5
DATA_SOURCE 4 skb r netdev_alloc_skb_ip_align
FUZZY_MAX 0 if_incoming->if_status 2
PARAM_COMPARE 3 bat_priv == $0->mesh_iface->priv
PARAM_COMPARE 3 bat_priv == $0->mesh_iface->priv
PARAM_COMPARE 3 &bat_priv->batman_queue_left >= $2
NOSPEC 0 if_incoming->batman_adv_ptype.dev->ifindex
NOSPEC 0 if_incoming->net_dev->ifindex
NOSPEC 1 if_outgoing->batman_adv_ptype.dev->ifindex
NOSPEC 1 if_outgoing->net_dev->ifindex
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 if_incoming->batman_adv_ptype.dev->flags 0-525824[c]
USER_DATA 0 if_incoming->batman_adv_ptype.dev->ifindex 0-s32max[c]
USER_DATA 0 if_incoming->net_dev->flags 0-525824[c]
USER_DATA 0 if_incoming->net_dev->ifindex 0-s32max[c]
USER_DATA 1 if_outgoing->batman_adv_ptype.dev->flags 0-525824[c]
USER_DATA 1 if_outgoing->batman_adv_ptype.dev->ifindex 0-s32max[c]
USER_DATA 1 if_outgoing->net_dev->flags 0-525824[c]
USER_DATA 1 if_outgoing->net_dev->ifindex 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 if_incoming->batman_adv_ptype.dev->group
NO_OVERFLOW_SIMPLE 0 if_incoming->batman_adv_ptype.dev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 if_incoming->batman_adv_ptype.dev->num_rx_queues
NO_OVERFLOW_SIMPLE 0 if_incoming->batman_adv_ptype.dev->num_tx_queues
NO_OVERFLOW_SIMPLE 0 if_incoming->batman_adv_ptype.dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 if_incoming->batman_adv_ptype.dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 0 if_incoming->batman_adv_ptype.dev->tx_queue_len
NO_OVERFLOW_SIMPLE 0 if_incoming->net_dev->group
NO_OVERFLOW_SIMPLE 0 if_incoming->net_dev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 if_incoming->net_dev->num_rx_queues
NO_OVERFLOW_SIMPLE 0 if_incoming->net_dev->num_tx_queues
NO_OVERFLOW_SIMPLE 0 if_incoming->net_dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 if_incoming->net_dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 0 if_incoming->net_dev->tx_queue_len
NO_OVERFLOW_SIMPLE 1 if_outgoing->batman_adv_ptype.dev->group
NO_OVERFLOW_SIMPLE 1 if_outgoing->batman_adv_ptype.dev->num_napi_configs
NO_OVERFLOW_SIMPLE 1 if_outgoing->batman_adv_ptype.dev->num_rx_queues
NO_OVERFLOW_SIMPLE 1 if_outgoing->batman_adv_ptype.dev->num_tx_queues
NO_OVERFLOW_SIMPLE 1 if_outgoing->batman_adv_ptype.dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 1 if_outgoing->batman_adv_ptype.dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 1 if_outgoing->batman_adv_ptype.dev->tx_queue_len
NO_OVERFLOW_SIMPLE 1 if_outgoing->net_dev->group
NO_OVERFLOW_SIMPLE 1 if_outgoing->net_dev->num_napi_configs
NO_OVERFLOW_SIMPLE 1 if_outgoing->net_dev->num_rx_queues
NO_OVERFLOW_SIMPLE 1 if_outgoing->net_dev->num_tx_queues
NO_OVERFLOW_SIMPLE 1 if_outgoing->net_dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 1 if_outgoing->net_dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 1 if_outgoing->net_dev->tx_queue_len
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &if_incoming->bat_iv.ogm_buff_mutex
HALF_LOCKED2 1 &if_outgoing->bat_iv.ogm_buff_mutex

net/batman-adv/send.c batadv_forw_bcast_packet_to_list() -> batadv_forw_packet_alloc()

Type Parameter Key Value
PARAM_VALUE 0 if_incoming 4096-ptr_max
PARAM_VALUE 1 if_outgoing 4096-ptr_max
PARAM_VALUE 1 if_outgoing->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 if_outgoing->dev_tracker->dead 0-1
PARAM_VALUE 1 if_outgoing->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 if_outgoing->meshif_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 if_outgoing->meshif_dev_tracker->dead 0-1
PARAM_VALUE 1 if_outgoing->meshif_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 if_outgoing->refcount.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 2 queue_left 4096-ptr_max
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 4 skb 4096-ptr_max
BUF_SIZE 4 skb (-1),240
BUF_SIZE 4 skb (-1),240
DATA_SOURCE 0 if_incoming $4
DATA_SOURCE 1 if_outgoing $5
DATA_SOURCE 3 bat_priv $0
DATA_SOURCE 4 skb r skb_clone
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read