Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath5k/base.c ath5k_receive_frame() -> ath5k_check_ibss_tsf()

Type Parameter Key Value
PARAM_VALUE 0 ah 4096-ptr_max
PARAM_VALUE 0 ah->curchan 4096-ptr_max
PARAM_VALUE 0 ah->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 ah->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 ah->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 ah->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 ah->iobase 4096-ptr_max
PARAM_VALUE 0 ah->opmode 1
PARAM_VALUE 0 ah->rxbuflock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ah->sbands 4096-ptr_max
PARAM_VALUE 0 ah->stats.antenna_rx 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb->antenna 0-15
PARAM_VALUE 1 skb->cb->flag 196608-196611,196640-196643
PARAM_VALUE 1 skb->cb->rate_idx 0-127
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 2 rxs 4096-ptr_max
PARAM_VALUE 2 rxs->antenna 0-15
PARAM_VALUE 2 rxs->flag 196608-196611,196640-196643
PARAM_VALUE 2 rxs->rate_idx 0-127
BUF_SIZE 2 rxs 48
DATA_SOURCE 0 ah $0
DATA_SOURCE 1 skb $1
PARAM_COMPARE 2 rxs == $1->cb
PARAM_COMPARE 2 rxs == $1->cb
BIT_INFO 2 rxs->flag 0x30000,0x30023
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ah->rxbuflock
HALF_LOCKED2 bh
TYPE_LOCK (struct ath5k_hw)->rxbuflock