Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/ath/ath10k/usb.c ath10k_usb_io_comp_work() -> ath10k_usb_rx_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 1 | skb->dev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 1 | skb->next | 0 |
| PARAM_VALUE | 1 | skb->prev | 0 |
| DATA_SOURCE | 1 | skb | r skb_dequeue |
| NOCHECK_CALL | |||
| USER_DATA | 0 | ar->htt.target_version_major | 0-255[u] |
| USER_DATA | 0 | ar->htt.target_version_minor | 0-255[u] |
| NO_OVERFLOW_SIMPLE | 1 | skb->dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | skb->dev->tx_queue_len | |
| HALF_LOCKED2 | &pool->lock |