Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/net/wireless/nxp/nxpwifi/uap_txrx.c nxpwifi_uap_queue_bridged_pkt() -> nxpwifi_queue_work()

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

drivers/net/wireless/nxp/nxpwifi/uap_txrx.c nxpwifi_uap_recv_packet() -> nxpwifi_queue_work()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 1 work 4096-ptr_max
NOCHECK_CALL

drivers/net/wireless/nxp/nxpwifi/main.c nxpwifi_process_rx() -> nxpwifi_queue_work()

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

drivers/net/wireless/nxp/nxpwifi/main.c nxpwifi_queue_tx_pkt() -> nxpwifi_queue_work()

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

drivers/net/wireless/nxp/nxpwifi/scan.c nxpwifi_scan_networks() -> nxpwifi_queue_work()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->nxpwifi_cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->scan_pending_q_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->scan_processing 1
PARAM_VALUE 1 work 4096-ptr_max
CAPPED_DATA 0 &adapter->scan_pending_q 1
PARAM_COMPARE 0 &adapter->scan_pending_q != $0->scan_pending_q.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/nxp/nxpwifi/sdio.c nxpwifi_sdio_card_reset() -> nxpwifi_queue_work()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 adapter->if_ops.card_reset 1-u64max
PARAM_VALUE 1 work 4096-ptr_max
DATA_SOURCE 0 adapter $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/nxp/nxpwifi/sdio.c nxpwifi_sdio_coredump() -> nxpwifi_queue_work()

Type Parameter Key Value
PARAM_VALUE 1 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/net/wireless/nxp/nxpwifi/sdio.c nxpwifi_sdio_device_dump() -> nxpwifi_queue_work()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 adapter->curr_cmd 0,4096-ptr_max
PARAM_VALUE 0 adapter->if_ops.device_dump 1-u64max
PARAM_VALUE 1 work 4096-ptr_max
DATA_SOURCE 0 adapter $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/nxp/nxpwifi/sdio.c nxpwifi_sdio_interrupt() -> nxpwifi_queue_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->reg 4096-ptr_max
PARAM_VALUE 1 work 4096-ptr_max
NOCHECK_CALL

drivers/net/wireless/nxp/nxpwifi/cmdevt.c nxpwifi_dnld_cmd_to_fw() -> nxpwifi_queue_work()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.prev 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q.prev->next->next 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->hw_status 2
PARAM_VALUE 1 work 4096-ptr_max
NOCHECK_CALL

drivers/net/wireless/nxp/nxpwifi/cmdevt.c nxpwifi_send_cmd() -> nxpwifi_queue_work()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->cmd_free_q_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 work 4096-ptr_max
PARAM_COMPARE 0 &adapter->cmd_free_q != $0->cmd_free_q.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 adapter->country_code