Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath11k/core.c ath11k_core_start() -> ath11k_htc_start()

Type Parameter Key Value
PARAM_VALUE 0 htc 4096-ptr_max
PARAM_VALUE 0 htc->ab 4096-ptr_max
PARAM_VALUE 0 htc->control_resp_len s32min-(-1),12-s32max
PARAM_VALUE 0 htc->ctl_resp.done 0-4294967293,u32max
PARAM_VALUE 0 htc->ctl_resp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 htc->target_credit_size 1-u16max
PARAM_VALUE 0 htc->total_transmit_credits 1-u16max
PARAM_VALUE 0 htc->wmi_ep_count 1-255
LOCK2 &ab->core_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ath11k_base)->core_lock