Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
- drivers/net/ethernet/netronome/nfp/nfd3/rings.c, line 187
- drivers/net/ethernet/netronome/nfp/nfp_net_dp.c, line 173
Smatch caller information:
drivers/net/ethernet/netronome/nfp/nfd3/rings.c nfp_nfd3_tx_ring_bufs_alloc() -> nfp_net_rx_alloc_one()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dp->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dp->dev->cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dp->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dp->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dp->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | dp->netdev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dp->num_tx_rings | 1-u32max |
| PARAM_VALUE | 0 | dp->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->ops->tx_ring_alloc | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->ops->tx_ring_bufs_alloc | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->rx_rings | 16,4096-ptr_max |
| PARAM_VALUE | 0 | dp->tx_rings | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->txrwb | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dma_addr | 4096-ptr_max |
| BUF_SIZE | 0 | dp->tx_rings | 0-s32max |
| BUF_SIZE | 0 | dp->txrwb | (-1)-s32max |
| BUF_SIZE | 0 | dp->xdp_prog | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | dp->num_r_vecs | 1 |
| CAPPED_DATA | 0 | dp->num_rx_rings | 1 |
| CAPPED_DATA | 0 | dp->rx_rings | 1 |
| DATA_SOURCE | 0 | dp | $0 |
| BIT_INFO | 0 | dp->ctrl | 0x0,0xffffffff |
| NOSPEC | 0 | dp->num_r_vecs | |
| NOSPEC | 0 | dp->num_rx_rings | |
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | dp->ctrl | 0-u32max[c] |
| HOST_DATA | 0 | dp->mtu | 0-s32max[c] |
| HOST_DATA | 0 | dp->num_r_vecs | 0-s32max[c] |
| HOST_DATA | 0 | dp->num_rx_rings | 0-s32max[c] |
| HOST_DATA | 0 | dp->num_tx_rings | 1-s32max[c] |
| HOST_DATA | 0 | dp->rx_offset | 0-64 |
| USER_DATA | 0 | dp->mtu | 0-s32max[c] |
| USER_DATA | 0 | dp->num_r_vecs | 0[c] |
| USER_DATA | 0 | dp->num_rx_rings | 0[c] |
| USER_DATA | 0 | dp->num_stack_tx_rings | 0[c] |
drivers/net/ethernet/netronome/nfp/nfp_net_dp.c nfp_net_rx_ring_bufs_alloc() -> nfp_net_rx_alloc_one()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dp->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dp->dev->cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dp->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dp->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dp->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | dp->netdev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dp->num_rx_rings | 1-u32max |
| PARAM_VALUE | 0 | dp->rx_rings | 4096-ptr_max |
| PARAM_VALUE | 1 | dma_addr | 4096-ptr_max |
| BUF_SIZE | 0 | dp->rx_rings | 0-s32max |
| BUF_SIZE | 0 | dp->xdp_prog | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | dp->num_r_vecs | 1 |
| DATA_SOURCE | 0 | dp | $0 |
| NOSPEC | 0 | dp->num_r_vecs | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | dp->ctrl | 0-u32max[c] |
| HOST_DATA | 0 | dp->mtu | 0-s32max[c] |
| HOST_DATA | 0 | dp->num_r_vecs | 0-s32max[c] |
| HOST_DATA | 0 | dp->num_rx_rings | 1-s32max[c] |
| HOST_DATA | 0 | dp->num_tx_rings | 0-s32max[c] |
| HOST_DATA | 0 | dp->rx_offset | 0-64 |
| USER_DATA | 0 | dp->mtu | 0-s32max[c] |
| USER_DATA | 0 | dp->num_r_vecs | 0[c] |
| USER_DATA | 0 | dp->num_stack_tx_rings | 0[c] |
| USER_DATA | 0 | dp->num_tx_rings | 0[c] |