Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/batman-adv/send.c batadv_forw_packet_bcast_queue() -> batadv_forw_packet_queue()

Type Parameter Key Value
PARAM_VALUE 0 forw_packet 4096-ptr_max
PARAM_VALUE 0 forw_packet->if_incoming 4096-ptr_max
PARAM_VALUE 0 forw_packet->if_outgoing 4096-ptr_max
PARAM_VALUE 0 forw_packet->skb 4096-ptr_max
PARAM_VALUE 1 lock 4096-ptr_max
PARAM_VALUE 2 head 4096-ptr_max
BUF_SIZE 0 forw_packet (-1),288
BUF_SIZE 0 forw_packet (-1),288
BUF_SIZE 0 forw_packet->queue_left (-1),4
BUF_SIZE 0 forw_packet->skb (-1),240
DATA_SOURCE 0 forw_packet $1
DATA_SOURCE 3 send_time $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 send_time unit_jiffy
HALF_LOCKED2 rcu_read

net/batman-adv/send.c batadv_forw_packet_ogmv1_queue() -> batadv_forw_packet_queue()

Type Parameter Key Value
PARAM_VALUE 0 forw_packet 4096-ptr_max
PARAM_VALUE 0 forw_packet->cleanup_list.next 0
PARAM_VALUE 0 forw_packet->cleanup_list.pprev 0
PARAM_VALUE 0 forw_packet->if_incoming 4096-ptr_max
PARAM_VALUE 0 forw_packet->if_outgoing 4096-ptr_max
PARAM_VALUE 0 forw_packet->list.next 0
PARAM_VALUE 0 forw_packet->list.pprev 0
PARAM_VALUE 0 forw_packet->num_packets 1
PARAM_VALUE 0 forw_packet->own 0-1
PARAM_VALUE 0 forw_packet->queue_left 0,4096-ptr_max
PARAM_VALUE 0 forw_packet->queue_left->counter 0-s32max
PARAM_VALUE 0 forw_packet->skb 4096-ptr_max
PARAM_VALUE 0 forw_packet->skb->data 4096-ptr_max
PARAM_VALUE 0 forw_packet->skb->data_len 0
PARAM_VALUE 0 forw_packet->skb->priority 7
PARAM_VALUE 1 lock 4096-ptr_max
PARAM_VALUE 2 head 4096-ptr_max
BUF_SIZE 0 forw_packet 288
BUF_SIZE 0 forw_packet->queue_left 0,4
BUF_SIZE 0 forw_packet->skb (-1)-s32max
DATA_SOURCE 0 forw_packet $1
DATA_SOURCE 3 send_time $2
MEM_ZERO 0 forw_packet->direct_link_flags
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 forw_packet->packet_len 0-u16max
USER_DATA 0 *forw_packet->skb->data 0-255
UNITS 3 send_time unit_jiffy
USER_PTR 0 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