Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath11k/dp_rx.c ath11k_dp_htt_get_ppdu_desc() -> ath11k_htt_update_ppdu_stats()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->data_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ar->ppdu_stat_list_depth 16-u32max
PARAM_VALUE 1 ppdu_stats 4096-ptr_max
CAPPED_DATA 0 &ar->ppdu_stats_info 1
DATA_SOURCE 0 ar $0
PARAM_COMPARE 0 &ar->ppdu_stats_info != $0->ppdu_stats_info.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &ar->data_lock
HALF_LOCKED2 &ab->core_lock
TYPE_LOCK (struct ath11k)->data_lock