Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/mediatek/mt76/dma.c mt76_dma_rx_process() -> mt76_add_fragment()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->drv->rx_check 0,1157620040371703808,4848663956030836736,4948581913064058880,5485176288187613184,6782910663296389120
PARAM_VALUE 0 dev->drv->rx_rro_ind_process 0,2969246628609945600
PARAM_VALUE 0 dev->q_rx 4096-ptr_max
PARAM_VALUE 0 dev->rx_token_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->rxwi_cache.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->wed_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 q 4096-ptr_max
PARAM_VALUE 1 q->rx_head 1-u64max
PARAM_VALUE 2 data 1-18446744073709551604,(-10)-(-1)
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 q $1
DATA_SOURCE 2 data r mt76_dma_dequeue
RX_PATH
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 q->rx_head->end
UNITS 3 len unit_byte
USER_PTR 1 q->rx_head->data
LOCK2 rcu_read