Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath12k/dp_htt.c ath12k_dp_htt_get_ppdu_desc() -> ath12k_htt_update_ppdu_stats()

Type Parameter Key Value
PARAM_VALUE 0 dp_pdev 4096-ptr_max
PARAM_VALUE 0 dp_pdev->ppdu_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dp_pdev->ppdu_stat_list_depth 16-u32max
PARAM_VALUE 1 ppdu_stats 4096-ptr_max
CAPPED_DATA 0 &dp_pdev->ppdu_stats_info 1
DATA_SOURCE 0 dp_pdev $0
PARAM_COMPARE 0 &dp_pdev->ppdu_stats_info != $0->ppdu_stats_info.next
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &dp_pdev->ppdu_list_lock
HALF_LOCKED2 &ab->core_lock
HALF_LOCKED2 &ag->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ath12k_pdev_dp)->ppdu_list_lock