Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/fungible/funeth/funeth_tx.c fun_xdp_tx() -> fun_write_gl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| PARAM_VALUE | 0 | q->dma_dev->dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | q->dma_dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | q->dma_dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | q->dma_dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | q->dma_dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 1 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | req->encap_proto | 0 |
| PARAM_VALUE | 1 | req->flags | 0 |
| PARAM_VALUE | 1 | req->len8 | 0 |
| PARAM_VALUE | 1 | req->offload.flags | 0 |
| PARAM_VALUE | 1 | req->offload.inner_l3_off | 0 |
| PARAM_VALUE | 1 | req->offload.inner_l4_off | 0 |
| PARAM_VALUE | 1 | req->offload.mss | 0 |
| PARAM_VALUE | 1 | req->offload.outer_l3_off | 0 |
| PARAM_VALUE | 1 | req->offload.outer_l4_off | 0 |
| PARAM_VALUE | 1 | req->offload.tcp_doff_flags | 0 |
| PARAM_VALUE | 1 | req->offload.vlan | 0 |
| PARAM_VALUE | 1 | req->op | 1 |
| PARAM_VALUE | 1 | req->repr_idn | 0 |
| PARAM_VALUE | 1 | req->suboff8 | 24 |
| PARAM_VALUE | 2 | addrs | 8822044212425125888 |
| PARAM_VALUE | 2 | *addrs | 0-18446744073709551614 |
| PARAM_VALUE | 3 | lens | 1096034756073488384 |
| PARAM_VALUE | 4 | ngle | 1-256 |
| BUF_SIZE | 2 | addrs | 144 |
| BUF_SIZE | 3 | lens | 72 |
| DATA_SOURCE | 0 | q | $0 |
| DATA_SOURCE | 1 | req | r fun_tx_desc_addr |
| FUZZY_MAX | 4 | ngle | 1 |
| BIT_INFO | 1 | req->dataop | 0x0,0x7fffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/fungible/funeth/funeth_tx.c write_pkt_desc() -> fun_write_gl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| PARAM_VALUE | 0 | q->dma_dev->dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | q->dma_dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | q->dma_dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | q->dma_dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | q->dma_dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 1 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | req->encap_proto | 0 |
| PARAM_VALUE | 1 | req->flags | 0 |
| PARAM_VALUE | 1 | req->len8 | 0 |
| PARAM_VALUE | 1 | req->offload.flags | 0-1,257,8205,8463,8713,8971,24769,24781,25289,25825,25837,25841,25853,26345,26361,26753 |
| PARAM_VALUE | 1 | req->offload.inner_l3_off | 0 |
| PARAM_VALUE | 1 | req->offload.outer_l3_off | 0 |
| PARAM_VALUE | 1 | req->offload.outer_l4_off | 0 |
| PARAM_VALUE | 1 | req->offload.vlan | 0 |
| PARAM_VALUE | 1 | req->op | 1 |
| PARAM_VALUE | 1 | req->repr_idn | 0 |
| PARAM_VALUE | 1 | req->suboff8 | 24 |
| PARAM_VALUE | 2 | addrs | 4534732364962058240 |
| PARAM_VALUE | 2 | *addrs | 0-18446744073709551614 |
| PARAM_VALUE | 3 | lens | 109825948748582912 |
| BUF_SIZE | 2 | addrs | 144 |
| BUF_SIZE | 3 | lens | 72 |
| DATA_SOURCE | 0 | q | $1 |
| DATA_SOURCE | 1 | req | r fun_tx_desc_addr |
| BIT_INFO | 1 | req->dataop | 0x0,0x7fffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &netdev->tx_global_lock | ||
| HALF_LOCKED2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |