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_process_per_outif() -> batadv_iv_ogm_update_seqnos()

Type Parameter Key Value
PARAM_VALUE 0 ethhdr 4096-ptr_max
PARAM_VALUE 1 batadv_ogm_packet 4096-ptr_max
PARAM_VALUE 2 if_incoming 4096-ptr_max
PARAM_VALUE 2 if_incoming->if_status 2
PARAM_VALUE 2 if_incoming->mesh_iface->priv->algo_ops->iface.enable 7150307811096809472
PARAM_VALUE 2 if_incoming->mesh_iface->priv->mesh_state 1
PARAM_VALUE 3 if_outgoing 0,4096-ptr_max
PARAM_VALUE 3 if_outgoing->if_status 2
PARAM_VALUE 3 if_outgoing->refcount.refcount.refs.counter (-1073741824),0-s32max
CAPPED_DATA 2 if_incoming 1
DATA_SOURCE 0 ethhdr r eth_hdr
DATA_SOURCE 2 if_incoming $3
DATA_SOURCE 3 if_outgoing $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 batadv_ogm_packet->flags 0-255[u]
USER_DATA 1 batadv_ogm_packet->packet_type 0-255[u]
USER_DATA 1 batadv_ogm_packet->reserved 0-255[u]
USER_DATA 1 batadv_ogm_packet->seqno 0-u32max[u]
USER_DATA 1 batadv_ogm_packet->tq 0-255[u]
USER_DATA 1 batadv_ogm_packet->ttl 0-255[u]
USER_DATA 1 batadv_ogm_packet->tvlv_len 0-u16max[u]
USER_DATA 1 batadv_ogm_packet->version 0-255[u]
UNITS 1 batadv_ogm_packet unit_byte
USER_PTR 1 batadv_ogm_packet
HALF_LOCKED2 rcu_read