Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/marvell/mwl8k.c mwl8k_firmware_load_success() -> mwl8k_release_firmware()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->fw_state | 1-2 |
| PARAM_VALUE | 0 | priv->fw_ucode | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->hw | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->hw->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->hw->priv->fw_ucode | 4096-ptr_max |
| BUF_SIZE | 0 | priv | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | priv | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | priv | $0 |
| HARD_MAX | 0 | priv->fw_state | 2 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/marvell/mwl8k.c mwl8k_fw_state_machine() -> mwl8k_release_firmware()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->firmware_loading_complete.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | priv->firmware_loading_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | priv->firmware_loading_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | priv->fw_state | 3 |
| PARAM_VALUE | 0 | priv->pdev->dev.cma_area->nranges | s32min-s32max |
| BUF_SIZE | 0 | priv | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | priv | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | priv | $1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/marvell/mwl8k.c mwl8k_init_firmware() -> mwl8k_release_firmware()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | priv | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->device_info | 4096-ptr_max |
| PARAM_VALUE | 0 | priv->fw_ucode | 0,4096-ptr_max |
| PARAM_VALUE | 0 | priv->regs | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |