Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath12k/qmi.c ath12k_qmi_driver_event_work() -> ath12k_qmi_event_server_arrive()

Type Parameter Key Value
PARAM_VALUE 0 qmi 4096-ptr_max
PARAM_VALUE 0 qmi->ab->dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 qmi->ab->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 qmi->ab->hw_params->ce_count 9,12,16
PARAM_VALUE 0 qmi->ab->hw_params->def_num_link 0,2
PARAM_VALUE 0 qmi->ab->hw_params->fw.m3_loader 0-1
PARAM_VALUE 0 qmi->ab->hw_params->max_mlo_peer 32,256
PARAM_VALUE 0 qmi->ab->hw_params->qmi_cnss_feature_bitmap 8,24,88
PARAM_VALUE 0 qmi->event_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *qmi->ab->wmi_ab.max_msg_len 0-4294967295
CAPPED_DATA 0 &qmi->event_list 1
PARAM_COMPARE 0 &qmi->event_list != $0->event_list.next
HALF_LOCKED2 &pool->lock