Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/xdp/xsk_buff_pool.c xp_alloc() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->dev | 1-u64max |
| BUF_SIZE | 0 | pool | (-1)-0,4,24,64,168-s32max |
| BUF_SIZE | 0 | pool | (-1)-0,4,24,64,168-s32max |
| DATA_SOURCE | 0 | pool | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pool->dma_pages_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | pool->fq->ring->consumer | |
| NO_OVERFLOW_SIMPLE | 0 | pool->free_heads_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | pool->free_list_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | pool->heads_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | pool->queue_id | |
| UNITS | 1 | dma | unit_byte |
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &pool->rx_lock |
drivers/net/ethernet/netronome/nfp/nfd3/xsk.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| NOCHECK_CALL | |||
| UNITS | 1 | dma | unit_byte |
| UNITS | 2 | size | unit_byte |
drivers/net/ethernet/intel/ice/ice_xsk.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 1-u64max |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/google/gve/gve_tx_dqo.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->addrs_cnt | 1-u64max |
| PARAM_VALUE | 0 | pool->chunk_size | 1-u32max |
| PARAM_VALUE | 0 | pool->cq->cached_cons | 0-4294967295 |
| PARAM_VALUE | 0 | pool->cq->cached_prod | 0-4294967295 |
| PARAM_VALUE | 0 | pool->dma_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | dma | 0-4095 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| LOCK2 | &tx->dqo_tx.xdp_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct gve_tx_ring)->dqo_tx.xdp_lock |
drivers/net/ethernet/intel/igc/igc_main.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->addrs_cnt | 1-u64max |
| PARAM_VALUE | 0 | pool->chunk_size | 1-u32max |
| PARAM_VALUE | 0 | pool->cq->cached_cons | 0-4294967295 |
| PARAM_VALUE | 0 | pool->cq->cached_prod | 0-4294967295 |
| PARAM_VALUE | 0 | pool->dma_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | dma | 0-4095 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| LOCK2 | &nq->_xmit_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct netdev_queue)->_xmit_lock |
drivers/net/ethernet/intel/i40e/i40e_xsk.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->cq->cached_cons | 0-4294967295 |
| PARAM_VALUE | 0 | pool->cq->cached_prod | 0-4294967295 |
| PARAM_VALUE | 0 | pool->dma_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | dma | 0-4095 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &ni->dev_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/engleder/tsnep_main.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->cq->cached_cons | 0-4294967295 |
| PARAM_VALUE | 0 | pool->cq->cached_prod | 0-4294967295 |
| PARAM_VALUE | 0 | pool->dma_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | dma | 0-4095 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| LOCK2 | &nq->_xmit_lock | ||
| HALF_LOCKED2 | &ni->dev_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct netdev_queue)->_xmit_lock |
drivers/net/ethernet/stmicro/stmmac/stmmac_main.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->addrs_cnt | 1-u64max |
| PARAM_VALUE | 0 | pool->chunk_size | 1-u32max |
| PARAM_VALUE | 0 | pool->cq->cached_cons | 0-4294967295 |
| PARAM_VALUE | 0 | pool->cq->cached_prod | 0-4294967295 |
| PARAM_VALUE | 0 | pool->dma_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | dma | 0-4095 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| LOCK2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/mellanox/mlx5/core/en/xsk/tx.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->addrs_cnt | 1-u64max |
| PARAM_VALUE | 0 | pool->chunk_size | 1-u32max |
| PARAM_VALUE | 0 | pool->cq->cached_cons | 0-4294967295 |
| PARAM_VALUE | 0 | pool->cq->cached_prod | 0-4294967295 |
| PARAM_VALUE | 0 | pool->dma_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | dma | 0-4095 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | bh |
drivers/net/ethernet/intel/igb/igb_xsk.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->cq->cached_cons | 0-4294967295 |
| PARAM_VALUE | 0 | pool->cq->cached_prod | 0-4294967295 |
| PARAM_VALUE | 0 | pool->dma_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | dma | 0-4095 |
| PARAM_VALUE | 2 | size | 0-u32max |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| LOCK2 | &nq->_xmit_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct netdev_queue)->_xmit_lock |
drivers/net/ethernet/intel/ixgbe/ixgbe_xsk.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->addrs_cnt | 1-u64max |
| PARAM_VALUE | 0 | pool->chunk_size | 1-u32max |
| PARAM_VALUE | 0 | pool->cq->cached_cons | 0-4294967295 |
| PARAM_VALUE | 0 | pool->cq->cached_prod | 0-4294967295 |
| PARAM_VALUE | 0 | pool->dma_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | dma | 0-4095 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ethernet/freescale/fec_main.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | dma | unit_byte |
| UNITS | 2 | size | unit_byte |
| LOCK2 | &nq->_xmit_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct netdev_queue)->_xmit_lock |
drivers/net/virtio_net.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->cq->cached_cons | 0-4294967295 |
| PARAM_VALUE | 0 | pool->cq->cached_prod | 0-4294967295 |
| PARAM_VALUE | 0 | pool->dma_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | dma | 0-4095 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| LOCK2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct netdev_queue)->_xmit_lock |
drivers/net/ethernet/freescale/dpaa2/dpaa2-xsk.c xsk_buff_raw_dma_sync_for_device() -> xp_dma_sync_for_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->cq->cached_cons | 0-4294967295 |
| PARAM_VALUE | 0 | pool->cq->cached_prod | 0-4294967295 |
| PARAM_VALUE | 0 | pool->dma_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | dma | 0-4095 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | dma | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |