Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
- drivers/net/wireless/ralink/rt2x00/rt2x00queue.c, line 837
- drivers/net/wireless/ralink/rt2x00/rt2x00usb.c
Smatch caller information:
drivers/net/wireless/ralink/rt2x00/rt2x00usb.c rt2x00usb_flush_queue() -> rt2x00queue_for_each_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | queue | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->length | 1-u16max |
| PARAM_VALUE | 0 | queue->rt2x00dev | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->rt2x00dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->rt2x00dev->ops->lib | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->rt2x00dev->ops->lib->flush_queue | 864683334679437312,2065010748947841024,7851684249076948992 |
| PARAM_VALUE | 1 | start | 2 |
| PARAM_VALUE | 2 | end | 0 |
| PARAM_VALUE | 3 | data | 0 |
| DATA_SOURCE | 0 | queue | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | queue->rt2x00dev->chip.rt | 0 |
| NO_OVERFLOW_SIMPLE | 0 | queue->rt2x00dev->data_queues | |
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/ralink/rt2x00/rt2x00usb.c rt2x00usb_kick_queue() -> rt2x00queue_for_each_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | queue | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->length | 1-u16max |
| PARAM_VALUE | 0 | queue->qid | 0-3 |
| PARAM_VALUE | 0 | queue->rt2x00dev | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->rt2x00dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->rt2x00dev->ops->lib | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->rt2x00dev->ops->lib->clear_entry | 1725294205733703680,2729524059770204160,6539075732284661760,8023768154126438400,8361752821957402624 |
| PARAM_VALUE | 1 | start | 2 |
| PARAM_VALUE | 2 | end | 0 |
| PARAM_VALUE | 3 | data | 0 |
| DATA_SOURCE | 0 | queue | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | queue->limit | |
| NO_OVERFLOW_SIMPLE | 0 | queue->rt2x00dev->data_queues | |
| HALF_LOCKED2 | 0 | &queue->tx_lock |
drivers/net/wireless/ralink/rt2x00/rt2x00usb.c rt2x00usb_kick_queue() -> rt2x00queue_for_each_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | queue | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->qid | 14 |
| PARAM_VALUE | 0 | queue->rt2x00dev | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->rt2x00dev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->rt2x00dev->ops->lib | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->rt2x00dev->ops->lib->clear_entry | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0 |
| PARAM_VALUE | 2 | end | 2 |
| PARAM_VALUE | 3 | data | 0 |
| DATA_SOURCE | 0 | queue | $0 |
| PARAM_COMPARE | 0 | queue->length | != $0->limit |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | queue->limit | |
| NO_OVERFLOW_SIMPLE | 0 | queue->rt2x00dev->data_queues | |
| HALF_LOCKED2 | 0 | &queue->status_lock | |
| HALF_LOCKED2 | 0 | &queue->tx_lock |