Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/wil6210/main.c wil_reset() -> wil_halt_cpu()

Type Parameter Key Value
PARAM_VALUE 0 wil 4096-ptr_max
PARAM_VALUE 0 wil->hw_version 1-u32max
BUF_SIZE 0 wil s32min-s32max
BUF_SIZE 0 wil->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 wil->platform_handle (-1),56
CAPPED_DATA 0 wil 1
CAPPED_DATA 0 &wil->mem_lock 1
CAPPED_DATA 0 &wil->vif_mutex 1
CAPPED_DATA 0 &wil->wmi_mutex 1
DATA_SOURCE 0 wil $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wil->chip_revision 0-3
HOST_DATA 0 wil->mbox_ctl.tx.tail 0-u32max
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_rx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_tx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->real_num_tx_queues
UNITS 0 wil unit_byte
LOCK2 0 &wil->mem_lock
LOCK2 0 &wil->mutex
TYPE_LOCK (struct wil6210_priv)->mem_lock
TYPE_LOCK (struct wil6210_priv)->mutex

drivers/net/wireless/ath/wil6210/main.c wil_target_reset() -> wil_halt_cpu()

Type Parameter Key Value
PARAM_VALUE 0 wil 4096-ptr_max
PARAM_VALUE 0 wil->hw_version 1-u32max
BUF_SIZE 0 wil->pdev (-1),1-s32max
BUF_SIZE 0 wil->platform_handle (-1),56
CAPPED_DATA 0 wil 1
DATA_SOURCE 0 wil $0
FUZZY_MAX 0 wil->hw_version 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wil->chip_revision 0-3
HOST_DATA 0 wil->mbox_ctl.tx.tail 0-u32max
UNITS 0 wil unit_byte
LOCK2 0 &wil->mem_lock
LOCK2 0 &wil->mutex
TYPE_LOCK (struct wil6210_priv)->mem_lock
TYPE_LOCK (struct wil6210_priv)->mutex