Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/wireless/silabs/wfx/data_tx.c wfx_tx_get_retry_policy_id() -> wfx_tx_lock()

Type Parameter Key Value
PARAM_VALUE 0 wdev 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &local->handle_wake_tx_queue_lock
HALF_LOCKED2 rcu_read

drivers/net/wireless/silabs/wfx/queue.c wfx_tx_flush() -> wfx_tx_lock()

Type Parameter Key Value
PARAM_VALUE 0 wdev 4096-ptr_max
DATA_SOURCE 0 wdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &wdev->conf_mutex
HALF_LOCKED2 0 &wdev->scan_lock

drivers/net/wireless/silabs/wfx/queue.c wfx_tx_lock_flush() -> wfx_tx_lock()

Type Parameter Key Value
DATA_SOURCE 0 wdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &wdev->conf_mutex
HALF_LOCKED2 0 &wdev->scan_lock

drivers/net/wireless/silabs/wfx/sta.c wfx_suspend_hot_dev() -> wfx_tx_lock()

Type Parameter Key Value
PARAM_VALUE 0 wdev 4096-ptr_max
DATA_SOURCE 0 wdev $0
NOCHECK_CALL
USER_DATA 0 wdev->hif.rx_seqnum 0-7[c]
LOCK2 &pool->lock