Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 bat_priv 4096-ptr_max
PARAM_VALUE 1 forw_packet 4096-ptr_max
PARAM_VALUE 1 forw_packet->cleanup_list.next 0
PARAM_VALUE 1 forw_packet->cleanup_list.pprev 0
PARAM_VALUE 1 forw_packet->if_incoming 4096-ptr_max
PARAM_VALUE 1 forw_packet->if_outgoing 4096-ptr_max
PARAM_VALUE 1 forw_packet->list.next 0
PARAM_VALUE 1 forw_packet->list.pprev 0
PARAM_VALUE 1 forw_packet->num_packets 1
PARAM_VALUE 1 forw_packet->own 0-1
PARAM_VALUE 1 forw_packet->queue_left 0,4096-ptr_max
PARAM_VALUE 1 forw_packet->queue_left->counter 0-s32max
PARAM_VALUE 1 forw_packet->skb 4096-ptr_max
PARAM_VALUE 1 forw_packet->skb->data 4096-ptr_max
PARAM_VALUE 1 forw_packet->skb->data_len 0
PARAM_VALUE 1 forw_packet->skb->priority 7
BUF_SIZE 1 forw_packet 288
BUF_SIZE 1 forw_packet->queue_left 0,4
BUF_SIZE 1 forw_packet->skb (-1)-s32max
DATA_SOURCE 1 forw_packet r batadv_forw_packet_alloc
DATA_SOURCE 2 send_time $2
NOSPEC 1 forw_packet->packet_len
MEM_ZERO 1 forw_packet->direct_link_flags
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 forw_packet->packet_len 0-u16max
USER_DATA 1 *forw_packet->skb->data 0-255
UNITS 2 send_time unit_jiffy
USER_PTR 1 forw_packet->skb->data
HALF_LOCKED2 &if_incoming->bat_iv.ogm_buff_mutex
HALF_LOCKED2 &if_outgoing->bat_iv.ogm_buff_mutex
HALF_LOCKED2 rcu_read