Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath12k/pci.c ath12k_pci_read32() -> ath12k_pci_get_window_start()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->drv_priv 4096-ptr_max
PARAM_VALUE 1 offset 524288-u32max
BUF_SIZE 0 ab s32min-(-1),1-s32max
BUF_SIZE 0 ab s32min-(-1),1-s32max
CAPPED_DATA 0 ab->dev->cma_area->nranges 1
CAPPED_DATA 0 ab->hw_params->max_tx_ring 1
CAPPED_DATA 0 ab->hw_params->num_tcl_banks 1
CAPPED_DATA 0 ab->profile_param->dp_params.tx_comp_ring_size 1
DATA_SOURCE 0 ab $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ab->ath12k_coredump_len
NO_OVERFLOW_SIMPLE 0 ab->qmi.event_wq->rescuer->task->dl.pi_se->dl_runtime
UNITS 0 ab unit_byte
HALF_LOCKED2 0 &ab->core_lock

drivers/net/wireless/ath/ath12k/pci.c ath12k_pci_write32() -> ath12k_pci_get_window_start()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->drv_priv 4096-ptr_max
PARAM_VALUE 1 offset 524288-u32max
CAPPED_DATA 0 ab->dev->cma_area->nranges 1
CAPPED_DATA 0 ab->hw_params->max_tx_ring 1
CAPPED_DATA 0 ab->hw_params->num_tcl_banks 1
CAPPED_DATA 0 ab->profile_param->dp_params.tx_comp_ring_size 1
DATA_SOURCE 0 ab $0
DATA_SOURCE 1 offset $1
FUZZY_MAX 1 offset 10765608
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ab->ath12k_coredump_len
NO_OVERFLOW_SIMPLE 0 ab->qmi.event_wq->rescuer->task->dl.pi_se->dl_runtime
HALF_LOCKED2 0 &ab->ce.ce_lock
HALF_LOCKED2 0 &ab->core_lock