Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/wireless/marvell/mwifiex/sta_event.c mwifiex_process_multi_chan_event() -> mwifiex_multi_chan_resync()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->iface_type 2
PARAM_VALUE 0 adapter->tx_lock_flag 1
PARAM_VALUE 0 adapter->usb_mc_setup 1
NOCHECK_CALL
USER_DATA 0 adapter->usb_mc_status 0-1[u]
HALF_LOCKED2 &pool->lock

drivers/net/wireless/marvell/mwifiex/usb.c mwifiex_usb_tx_complete() -> mwifiex_multi_chan_resync()

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