Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath10k/wmi.c ath10k_wmi_event_service_available() -> ath10k_wmi_map_svc_ext()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->htc.endpoint 4096-ptr_max
PARAM_VALUE 0 ar->hw_ce_regs->upd 0,4096-ptr_max
PARAM_VALUE 0 ar->napi.thread->delays->blkio_count 0-4294967295
PARAM_VALUE 0 ar->napi.thread->kcov->mode 0-4294967295
PARAM_VALUE 0 ar->napi.thread->kcov->remote 0-1
PARAM_VALUE 0 ar->napi.thread->kcov->remote_size 0-4294967295
PARAM_VALUE 0 ar->napi.thread->kcov_remote->mode 0-4294967295
PARAM_VALUE 0 ar->napi.thread->kcov_remote->remote 0-1
PARAM_VALUE 0 ar->napi.thread->kcov_remote->remote_size 0-4294967295
PARAM_VALUE 0 ar->napi.thread->sched_task_group->idle s32min-s32max
PARAM_VALUE 0 ar->napi.thread->thread_pid->attr->exit_code s32min-s32max
PARAM_VALUE 0 ar->wmi.ops 4096-ptr_max
PARAM_VALUE 0 ar->wmi.ops->pull_svc_avail 0,5786326827034730496
PARAM_VALUE 0 ar->wmi.ops->rx 4073878560839929856,5088008840467881984,5777678649700466688,5828339511193001984,7780195407933624320
PARAM_VALUE 3 len 0-u32max
BUF_SIZE 2 out 16
DATA_SOURCE 0 ar $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ar->htt.target_version_major 0-255[u]
USER_DATA 0 ar->htt.target_version_minor 0-255[u]
UNITS 1 in unit_byte
HALF_LOCKED2 &pool->lock