Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/wireless/marvell/mwifiex/uap_txrx.c mwifiex_uap_queue_bridged_pkt() -> mwifiex_queue_main_work()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 adapter->domain_reg.no_of_triplet 1-27[c]
USER_PTR 0 adapter->country_code
HALF_LOCKED2 &priv->async_mutex
HALF_LOCKED2 &priv->wmm.ra_list_spinlock

drivers/net/wireless/marvell/mwifiex/uap_txrx.c mwifiex_uap_recv_packet() -> mwifiex_queue_main_work()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 adapter->domain_reg.no_of_triplet 1-27[c]
USER_PTR 0 adapter->country_code
HALF_LOCKED2 &priv->async_mutex
HALF_LOCKED2 &priv->wmm.ra_list_spinlock

drivers/net/wireless/marvell/mwifiex/main.c mwifiex_process_rx() -> mwifiex_queue_main_work()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->delay_main_work 0
PARAM_VALUE 0 adapter->rx_data_q.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->rx_locked 0
PARAM_VALUE 0 adapter->rx_pending.counter s32min-19
PARAM_VALUE 0 adapter->rx_proc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->rx_processing 1
CAPPED_DATA 0 &adapter->rx_data_q 1
DATA_SOURCE 0 adapter $0
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wireless/marvell/mwifiex/main.c mwifiex_queue_tx_pkt() -> mwifiex_queue_main_work()

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

drivers/net/wireless/marvell/mwifiex/pcie.c mwifiex_pcie_interrupt() -> mwifiex_queue_main_work()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 adapter->card->msi_enable s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/net/wireless/marvell/mwifiex/usb.c mwifiex_usb_rx_complete() -> mwifiex_queue_main_work()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_resp_received 1
PARAM_VALUE 0 adapter->curr_cmd->resp_skb 4096-ptr_max
PARAM_VALUE 0 adapter->curr_cmd->resp_skb->data 4096-ptr_max
PARAM_VALUE 0 adapter->curr_cmd->resp_skb->len 0-2048
PARAM_VALUE 0 adapter->data_received 1
PARAM_VALUE 0 adapter->event_received 1
PARAM_VALUE 0 adapter->event_skb 4096-ptr_max
PARAM_VALUE 0 adapter->event_skb->data 4096-ptr_max
PARAM_VALUE 0 adapter->event_skb->data_len 0
PARAM_VALUE 0 adapter->event_skb->len 4-2048
PARAM_VALUE 0 adapter->hs_activated 0
PARAM_VALUE 0 adapter->hs_activated_manually 0
PARAM_VALUE 0 adapter->pm_wakeup_card_req 0
PARAM_VALUE 0 adapter->pm_wakeup_fw_try 0
PARAM_VALUE 0 adapter->ps_state 0
PARAM_VALUE 0 adapter->rx_data_q.next 4096-ptr_max
PARAM_VALUE 0 adapter->rx_data_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->rx_data_q.prev->next->next 4096-ptr_max
PARAM_VALUE 0 adapter->wakeup_timer.entry.pprev 0
PARAM_VALUE 0 adapter->wakeup_timer.flags 0-4194302
PARAM_VALUE 0 adapter->wakeup_timer.function 0
PARAM_VALUE 0 *adapter->event_body 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

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