Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath10k/htt_rx.c ath10k_htt_rx_proc_rx_frag_ind_hl() -> ath10k_htt_rx_frag_ccmp_decap()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
PARAM_VALUE 0 skb->dev->hwprov->source 0-4294967295
PARAM_VALUE 0 skb->dev->ip6_ptr->dead s32min-s32max
PARAM_VALUE 0 skb->dev->ip6_ptr->mc_gq_running 0-255
PARAM_VALUE 0 skb->dev->ip6_ptr->mc_maxdelay 0-s64max
PARAM_VALUE 0 skb->dev->ip6_ptr->mc_qri 0-s64max
PARAM_VALUE 0 skb->dev->ip6_ptr->mc_qrv 0-255
PARAM_VALUE 0 skb->dev->ip6_ptr->ra_mtu 0-4294967295
PARAM_VALUE 0 skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 skb->next 0
PARAM_VALUE 0 skb->prev 0
PARAM_VALUE 2 hdr_len 4,10,16,24,26,28,30,32,36
DATA_SOURCE 0 skb $2
DATA_SOURCE 2 hdr_len r ieee80211_hdrlen
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 0 skb->end
NO_OVERFLOW_SIMPLE 0 skb->len
UNITS 1 head_len unit_byte
LOCK2 &ar->data_lock
LOCK2 bh
TYPE_LOCK (struct ath10k)->data_lock