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_extend_tsf()

Type Parameter Key Value
PARAM_VALUE 0 ah 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->rxbuflock.rlock.dep_map->name 0-255
PARAM_VALUE 1 rstamp 0-s16max
DATA_SOURCE 0 ah $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &ah->rxbuflock
HALF_LOCKED2 bh
TYPE_LOCK (struct ath5k_hw)->rxbuflock