Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/marvell/mwl8k.c mwl8k_release_firmware() -> mwl8k_release_fw()

Type Parameter Key Value
PARAM_VALUE 0 fw 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/marvell/mwl8k.c mwl8k_release_firmware() -> mwl8k_release_fw()

Type Parameter Key Value
PARAM_VALUE 0 fw 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/marvell/mwl8k.c mwl8k_request_firmware() -> mwl8k_release_fw()

Type Parameter Key Value
PARAM_VALUE 0 fw 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/marvell/mwl8k.c mwl8k_request_fw() -> mwl8k_release_fw()

Type Parameter Key Value
PARAM_VALUE 0 fw 4096-ptr_max
PARAM_VALUE 0 *fw 1-u64max
DATA_SOURCE 0 fw $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock