Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/morsemicro/mm81x/skbq.c __mm81x_skbq_tx_status_to_skbq() -> mm81x_hif_get_tx_mgmt_queue()

Type Parameter Key Value
DATA_SOURCE 0 mors $0

drivers/net/wireless/morsemicro/mm81x/mac.c mm81x_mac_has_tx_pending() -> mm81x_hif_get_tx_mgmt_queue()

Type Parameter Key Value
PARAM_VALUE 0 mors->hif.ops->get_tx_mgmt_queue 4096-ptr_max
PARAM_VALUE 0 mors->hif.ops->skbq_get_tx_qs 4096-ptr_max
DATA_SOURCE 0 mors $0
TASK_NOT_RUNNING

drivers/net/wireless/morsemicro/mm81x/mac.c mm81x_mac_ops_tx() -> mm81x_hif_get_tx_mgmt_queue()

Type Parameter Key Value
PARAM_VALUE 0 mors 4096-ptr_max
PARAM_VALUE 0 mors->fw_caps.flags 4096-ptr_max
TASK_NOT_RUNNING
HALF_LOCKED2 &local->handle_wake_tx_queue_lock
HALF_LOCKED2 rcu_read