Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/3com/typhoon.c typhoon_fill_free_ring() -> typhoon_alloc_rx_skb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->dev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 0 | tp->dev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 0 | tp->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 0 | tp->indexes->cmdCleared | 0 |
| PARAM_VALUE | 0 | tp->indexes->respCleared | 0 |
| PARAM_VALUE | 0 | tp->indexes->respReady | 0 |
| PARAM_VALUE | 0 | tp->indexes->rxBuffCleared | 0 |
| PARAM_VALUE | 0 | tp->indexes->rxBuffReady | 0-2047 |
| PARAM_VALUE | 0 | tp->indexes->rxHiReady | 0 |
| PARAM_VALUE | 0 | tp->indexes->rxLoReady | 0 |
| PARAM_VALUE | 0 | tp->indexes->txHiCleared | 0 |
| PARAM_VALUE | 0 | tp->rxBuffRing.lastWrite | 0-2047 |
| PARAM_VALUE | 0 | tp->rxbuffers | 4096-ptr_max |
| PARAM_VALUE | 0 | *tp->dev->name | 0-255 |
| PARAM_VALUE | 0 | *tp->pdev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 1 | idx | 0-126 |
| DATA_SOURCE | 0 | tp | $0 |
| FUZZY_MAX | 1 | idx | 126 |
| HARD_MAX | 1 | idx | 126 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | tp->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | tp->pdev->pcie_flags_reg | 0-u16max |
drivers/net/ethernet/3com/typhoon.c typhoon_rx() -> typhoon_alloc_rx_skb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->dev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 0 | tp->dev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 0 | tp->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 0 | tp->indexes | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->indexes->cmdCleared | 0 |
| PARAM_VALUE | 0 | tp->indexes->respCleared | 0 |
| PARAM_VALUE | 0 | tp->indexes->respReady | 0 |
| PARAM_VALUE | 0 | tp->indexes->rxBuffCleared | 0 |
| PARAM_VALUE | 0 | tp->indexes->rxBuffReady | 0-2047 |
| PARAM_VALUE | 0 | tp->indexes->rxHiReady | 0 |
| PARAM_VALUE | 0 | tp->indexes->rxLoReady | 0 |
| PARAM_VALUE | 0 | tp->indexes->txHiCleared | 0 |
| PARAM_VALUE | 0 | tp->rxbuffers | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->shared->indexes.respCleared | 0 |
| PARAM_VALUE | 0 | *tp->dev->name | 0-255 |
| DATA_SOURCE | 0 | tp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ni->dev_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |