Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/marvell/mwifiex/usb.c mwifiex_usb_aggr_tx_data() -> mwifiex_usb_data_sent()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
DATA_SOURCE 0 adapter $0
PREEMPT_ADD
USER_DATA 0 adapter->curr_cmd->cmd_no 0-u16max[u]
USER_DATA 0 *adapter->sleep_cfm->data 0-255
NO_OVERFLOW_SIMPLE 0 adapter->tx_data_q.next->data_len
NO_OVERFLOW_SIMPLE 0 adapter->tx_data_q.next->prev->data_len
USER_PTR 0 adapter->sleep_cfm->data
LOCK2 &port->tx_aggr_lock
LOCK2 bh
TYPE_LOCK (struct usb_tx_data_port)->tx_aggr_lock

drivers/net/wireless/marvell/mwifiex/usb.c mwifiex_usb_construct_send_urb() -> mwifiex_usb_data_sent()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
DATA_SOURCE 0 adapter $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 adapter->curr_cmd->cmd_no 0-u16max[u]
USER_DATA 0 *adapter->sleep_cfm->data 0-255
NO_OVERFLOW_SIMPLE 0 adapter->tx_data_q.next->data_len
NO_OVERFLOW_SIMPLE 0 adapter->tx_data_q.next->prev->data_len
USER_PTR 0 adapter->sleep_cfm->data
HALF_LOCKED2 &port->tx_aggr_lock
HALF_LOCKED2 bh

drivers/net/wireless/marvell/mwifiex/usb.c mwifiex_usb_host_to_card() -> mwifiex_usb_data_sent()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->card 4096-ptr_max
DATA_SOURCE 0 adapter $0
USER_DATA 0 adapter->curr_cmd->cmd_no 0-u16max[u]
USER_DATA 0 *adapter->sleep_cfm->data 0-255
NO_OVERFLOW_SIMPLE 0 adapter->tx_data_q.next->data_len
NO_OVERFLOW_SIMPLE 0 adapter->tx_data_q.next->prev->data_len
USER_PTR 0 adapter->sleep_cfm->data

drivers/net/wireless/marvell/mwifiex/usb.c mwifiex_usb_tx_aggr_tmo() -> mwifiex_usb_data_sent()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &port->tx_aggr_lock
LOCK2 bh
TYPE_LOCK (struct usb_tx_data_port)->tx_aggr_lock