Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/wil6210/txrx_edma.c wil_sring_reap_rx_edma() -> wil_rx_status_reset_buff_id()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->elem_size 16,32
PARAM_VALUE 0 s->swhead 0-65534
PARAM_VALUE 0 s->va 1-u64max
CAPPED_DATA 0 s->desc_rdy_pol 1
DATA_SOURCE 0 s $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/wireless/ath/wil6210/txrx_edma.c wil_sring_reap_rx_edma() -> wil_rx_status_reset_buff_id()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->elem_size 16,32
PARAM_VALUE 0 s->swhead 0-65534
PARAM_VALUE 0 s->va 1-u64max
CAPPED_DATA 0 s->desc_rdy_pol 1
DATA_SOURCE 0 s $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/wireless/ath/wil6210/txrx_edma.c wil_sring_reap_rx_edma() -> wil_rx_status_reset_buff_id()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->elem_size 16,32
PARAM_VALUE 0 s->swhead 0-65534
PARAM_VALUE 0 s->va 1-u64max
CAPPED_DATA 0 s->desc_rdy_pol 1
DATA_SOURCE 0 s $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read