Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/mediatek/mt76/agg-rx.c mt76_rx_aggr_check_ctl() -> mt76_rx_aggr_release_head()

Type Parameter Key Value
PARAM_VALUE 0 tid 4096-ptr_max
PARAM_VALUE 0 tid->head 0-4095
PARAM_VALUE 0 *tid->reorder_buf 0
PARAM_VALUE 1 frames 2805624796491403264
PARAM_VALUE 1 frames->next 4096-ptr_max
PARAM_VALUE 1 frames->prev 4096-ptr_max
DATA_SOURCE 1 frames $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &tid->lock
TYPE_LOCK (struct mt76_rx_tid)->lock

drivers/net/wireless/mediatek/mt76/agg-rx.c mt76_rx_aggr_check_release() -> mt76_rx_aggr_release_head()

Type Parameter Key Value
PARAM_VALUE 0 tid 4096-ptr_max
PARAM_VALUE 0 tid->nframes 1-u16max
PARAM_VALUE 1 frames 7057408617734176768
PARAM_VALUE 1 frames->next 7057408617734176768
PARAM_VALUE 1 frames->prev 7057408617734176768
PARAM_VALUE 1 frames->qlen 0
DATA_SOURCE 0 tid $0
DATA_SOURCE 1 frames $1
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &tid->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mt76_rx_tid)->lock

drivers/net/wireless/mediatek/mt76/agg-rx.c mt76_rx_aggr_check_release() -> mt76_rx_aggr_release_head()

Type Parameter Key Value
PARAM_VALUE 0 tid 4096-ptr_max
PARAM_VALUE 0 tid->head 0-4095
PARAM_VALUE 0 *tid->reorder_buf 0
PARAM_VALUE 1 frames 7057408617734176768
PARAM_VALUE 1 frames->next 7057408617734176768
PARAM_VALUE 1 frames->prev 7057408617734176768
DATA_SOURCE 0 tid $0
DATA_SOURCE 1 frames $1
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &tid->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct mt76_rx_tid)->lock

drivers/net/wireless/mediatek/mt76/agg-rx.c mt76_rx_aggr_reorder() -> mt76_rx_aggr_release_head()

Type Parameter Key Value
PARAM_VALUE 0 tid 4096-ptr_max
PARAM_VALUE 0 tid->head 0-4095
PARAM_VALUE 0 tid->nframes 1-u16max
PARAM_VALUE 1 frames 2805624796491403264
PARAM_VALUE 1 frames->next 4096-ptr_max
PARAM_VALUE 1 frames->prev 4096-ptr_max
DATA_SOURCE 1 frames $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &tid->lock
TYPE_LOCK (struct mt76_rx_tid)->lock

drivers/net/wireless/mediatek/mt76/agg-rx.c mt76_rx_aggr_reorder() -> mt76_rx_aggr_release_head()

Type Parameter Key Value
PARAM_VALUE 0 tid 4096-ptr_max
PARAM_VALUE 0 tid->reorder_buf 4096-ptr_max
PARAM_VALUE 1 frames 2805624796491403264
PARAM_VALUE 1 frames->next 4096-ptr_max
PARAM_VALUE 1 frames->prev 4096-ptr_max
DATA_SOURCE 1 frames $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &tid->lock
TYPE_LOCK (struct mt76_rx_tid)->lock