Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/3com/typhoon.c typhoon_poll() -> typhoon_fill_free_ring()
| 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->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 |
| PARAM_VALUE | 0 | *tp->dev->name | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/3com/typhoon.c typhoon_start_runtime() -> typhoon_fill_free_ring()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tp | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->cmdRing.lastWrite | 0 |
| 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 |
| PARAM_VALUE | 0 | tp->indexes->rxHiCleared | 0 |
| PARAM_VALUE | 0 | tp->indexes->rxHiReady | 0 |
| PARAM_VALUE | 0 | tp->indexes->rxLoCleared | 0 |
| PARAM_VALUE | 0 | tp->indexes->rxLoReady | 0 |
| PARAM_VALUE | 0 | tp->indexes->txHiCleared | 0 |
| PARAM_VALUE | 0 | tp->indexes->txLoCleared | 0 |
| PARAM_VALUE | 0 | tp->ioaddr | 4096-ptr_max |
| PARAM_VALUE | 0 | tp->respRing.lastWrite | 0 |
| PARAM_VALUE | 0 | tp->rxBuffRing.lastWrite | 0 |
| PARAM_VALUE | 0 | tp->rxHiRing.lastWrite | 0 |
| PARAM_VALUE | 0 | tp->rxLoRing.lastWrite | 0 |
| PARAM_VALUE | 0 | tp->txHiRing.lastRead | 0 |
| PARAM_VALUE | 0 | tp->txHiRing.lastWrite | 0 |
| PARAM_VALUE | 0 | tp->txLoRing.lastRead | 0 |
| PARAM_VALUE | 0 | tp->txLoRing.lastWrite | 0 |
| PARAM_VALUE | 0 | *tp->pdev->saved_config_space | 0-4294967295 |
| DATA_SOURCE | 0 | tp | $0 |
| MEM_ZERO | 0 | tp->indexes | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | tp->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | tp->pdev->pcie_flags_reg | 0-u16max |