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_construct_send_urb()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->bus_aggr.enable 1-u16max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 *adapter->dbg.last_mp_curr_wr_port 0-4294967295
PARAM_VALUE 0 *adapter->dbg.last_mp_wr_bitmap 0-4294967295
PARAM_VALUE 0 *adapter->dbg.last_mp_wr_len 0-4294967295
PARAM_VALUE 0 *adapter->dbg.last_mp_wr_ports 0-4294967295
PARAM_VALUE 1 port 4096-ptr_max
PARAM_VALUE 1 port->tx_aggr.aggr_len 0
PARAM_VALUE 1 port->tx_aggr.aggr_num 0
PARAM_VALUE 1 port->tx_aggr.timer_cnxt.hold_timer.flags 0-4194302
PARAM_VALUE 1 port->tx_aggr_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 port->tx_data_list 4096-ptr_max
PARAM_VALUE 1 port->tx_data_urb_pending.counter s32min-5
PARAM_VALUE 2 ep 0-15
PARAM_VALUE 3 context 4096-ptr_max
PARAM_VALUE 4 skb_send 4096-ptr_max
CAPPED_DATA 2 ep 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 port $4
DATA_SOURCE 2 ep $1
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 bh
LOCK2 1 &port->tx_aggr_lock
TYPE_LOCK (struct usb_tx_data_port)->tx_aggr_lock

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

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->bus_aggr.enable 1-u16max
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 *adapter->dbg.last_mp_curr_wr_port 0-4294967295
PARAM_VALUE 0 *adapter->dbg.last_mp_wr_bitmap 0-4294967295
PARAM_VALUE 0 *adapter->dbg.last_mp_wr_len 0-4294967295
PARAM_VALUE 0 *adapter->dbg.last_mp_wr_ports 0-4294967295
PARAM_VALUE 1 port 4096-ptr_max
PARAM_VALUE 1 port->block_status 0-1
PARAM_VALUE 1 port->tx_aggr_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 port->tx_data_list 4096-ptr_max
PARAM_VALUE 1 port->tx_data_urb_pending.counter s32min-5
PARAM_VALUE 2 ep 0-15
PARAM_VALUE 3 context 4096-ptr_max
PARAM_VALUE 3 context->urb->complete 4096-ptr_max
PARAM_VALUE 3 context->urb->context 4096-ptr_max
PARAM_VALUE 3 context->urb->dev 4096-ptr_max
PARAM_VALUE 3 context->urb->ep 4096-ptr_max
PARAM_VALUE 3 context->urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 3 context->urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 3 context->urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 3 context->urb->hcpriv 0,4096-ptr_max
PARAM_VALUE 3 context->urb->num_mapped_sgs 0-s32max
PARAM_VALUE 3 context->urb->pipe 0,1073741824-u32max
PARAM_VALUE 3 context->urb->start_frame (-1)
PARAM_VALUE 3 context->urb->status (-4095)-0
PARAM_VALUE 3 context->urb->transfer_buffer->_refcount.counter s32min-s32max
PARAM_VALUE 3 context->urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 3 context->urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 3 context->urb->transfer_buffer->page_type 0-4294967295
PARAM_VALUE 3 context->urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 3 context->urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 3 context->urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 4 skb_send 4096-ptr_max
PARAM_VALUE 4 skb_send->data 4096-ptr_max
PARAM_VALUE 4 skb_send->len 0-u16max
BUF_SIZE 4 skb_send (-1)-s32max
BUF_SIZE 4 skb_send (-1)-s32max
CAPPED_DATA 2 ep 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 port $4
DATA_SOURCE 2 ep $1
DATA_SOURCE 4 skb_send $2
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
NO_OVERFLOW_SIMPLE 3 context->skb->end
NO_OVERFLOW_SIMPLE 3 context->skb->len
USER_PTR 0 adapter->sleep_cfm->data
LOCK2 bh
LOCK2 1 &port->tx_aggr_lock
TYPE_LOCK (struct usb_tx_data_port)->tx_aggr_lock

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

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->bus_aggr.enable 0
PARAM_VALUE 0 adapter->card 4096-ptr_max
PARAM_VALUE 0 *adapter->dbg.last_mp_curr_wr_port 0-4294967295
PARAM_VALUE 0 *adapter->dbg.last_mp_wr_bitmap 0-4294967295
PARAM_VALUE 0 *adapter->dbg.last_mp_wr_len 0-4294967295
PARAM_VALUE 0 *adapter->dbg.last_mp_wr_ports 0-4294967295
PARAM_VALUE 1 port 0,4096-ptr_max
PARAM_VALUE 1 port->tx_data_ix s32min-6
PARAM_VALUE 1 port->tx_data_list 4096-ptr_max
PARAM_VALUE 1 port->tx_data_urb_pending.counter s32min-5
PARAM_VALUE 3 context 4096-ptr_max
PARAM_VALUE 4 skb_send 0,4096-ptr_max
BUF_SIZE 3 context (-1),32
BUF_SIZE 3 context (-1),32
BUF_SIZE 4 skb_send (-1)-s32max
BUF_SIZE 4 skb_send (-1)-s32max
CAPPED_DATA 2 ep 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 2 ep $1
DATA_SOURCE 4 skb_send $2
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_construct_send_urb()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 1 port 4096-ptr_max
PARAM_VALUE 1 port->tx_aggr.aggr_len 0
PARAM_VALUE 1 port->tx_aggr.aggr_num 0
PARAM_VALUE 1 port->tx_aggr.timer_cnxt.hold_timer.flags 0-4194302
PARAM_VALUE 1 port->tx_aggr.timer_cnxt.hold_tmo_msecs 0
PARAM_VALUE 1 port->tx_aggr_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 port->tx_data_ix s32min-6
PARAM_VALUE 1 port->tx_data_list 4096-ptr_max
PARAM_VALUE 1 port->tx_data_urb_pending.counter s32min-5
PARAM_VALUE 3 context 4096-ptr_max
PARAM_VALUE 4 skb_send 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 1 &port->tx_aggr_lock
TYPE_LOCK (struct usb_tx_data_port)->tx_aggr_lock