Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/net/wireless/marvell/mwifiex/sta_event.c mwifiex_fw_dump_info_event() -> mwifiex_upload_device_dump()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->devdump_data 1-u64max
PARAM_VALUE 0 adapter->devdump_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 adapter->iface_type 2
BUF_SIZE 0 adapter->devdump_data 2097152,u64max
NOCHECK_CALL

drivers/net/wireless/marvell/mwifiex/init.c fw_dump_work() -> mwifiex_upload_device_dump()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wireless/marvell/mwifiex/pcie.c mwifiex_pcie_device_dump_work() -> mwifiex_upload_device_dump()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 adapter->card->pcie.can_dump_fw 0-1
PARAM_VALUE 0 adapter->devdump_data 1-u64max
PARAM_VALUE 0 *adapter->devdump_data 0-255
BUF_SIZE 0 adapter->devdump_data 2097152,u64max
CAPPED_DATA 0 adapter->devdump_data 1
CAPPED_DATA 0 adapter->num_mem_types 1
CAPPED_DATA 0 adapter->priv_num 1
DATA_SOURCE 0 adapter $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wireless/marvell/mwifiex/sdio.c mwifiex_sdio_device_dump_work() -> mwifiex_upload_device_dump()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 adapter->card->can_dump_fw 0-1
PARAM_VALUE 0 adapter->devdump_data 1-u64max
PARAM_VALUE 0 *adapter->devdump_data 0-255
BUF_SIZE 0 adapter->devdump_data 2097152,u64max
CAPPED_DATA 0 adapter->devdump_data 1
CAPPED_DATA 0 adapter->num_mem_types 1
CAPPED_DATA 0 adapter->priv_num 1
DATA_SOURCE 0 adapter $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock