Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/huawei/hinic3/hinic3_rx.c page_pool_dma_sync_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/idpf/idpf_singleq_txrx.c page_pool_dma_sync_netmem_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dma_sync_for_cpu 1
PARAM_VALUE 3 dma_sync_size 1-u32max
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 offset unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/microsoft/mana/mana_en.c page_pool_dma_sync_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool->mp_priv->fired_notifs 0-4294967295
PARAM_VALUE 0 pool->p.dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 pool->p.dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
CAPPED_DATA 0 pool 1
CAPPED_DATA 3 dma_sync_size 1
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
NOCHECK_CALL

drivers/net/ethernet/broadcom/bnxt/bnxt.c page_pool_dma_sync_netmem_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dma_mapped.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pool->dma_sync_for_cpu 1
PARAM_VALUE 0 pool->frag_page 1-u64max
PARAM_VALUE 0 pool->p.dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 pool->p.dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 pool->p.dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 2 offset 0
CAPPED_DATA 0 pool 1
CAPPED_DATA 3 dma_sync_size 1
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 dma_sync_size unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/mellanox/mlxsw/pci.c page_pool_dma_sync_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 2 offset 0,64
PARAM_VALUE 3 dma_sync_size 0-u16max
CAPPED_DATA 3 dma_sync_size 1
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
FUZZY_MAX 3 dma_sync_size 3712
HARD_MAX 2 offset 64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 dma_sync_size unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/iavf/iavf_txrx.c page_pool_dma_sync_netmem_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dma_sync_for_cpu 1
PARAM_VALUE 3 dma_sync_size 1-u32max
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 offset unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/ice/ice_txrx.c page_pool_dma_sync_netmem_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dma_sync_for_cpu 1
PARAM_VALUE 3 dma_sync_size 1-u16max
CAPPED_DATA 3 dma_sync_size 1
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 offset unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/broadcom/bnge/bnge_txrx.c page_pool_dma_sync_netmem_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dma_sync_for_cpu 1
PARAM_VALUE 0 pool->mp_priv->fired_notifs 0-4294967295
PARAM_VALUE 0 pool->p.dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 pool->p.dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 pool->p.dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dma_sync_size 4096
CAPPED_DATA 0 pool 1
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

51e6ac3d6061642e page_pool_dma_sync_netmem_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dma_sync_for_cpu 1
PARAM_VALUE 3 dma_sync_size 0
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 offset unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/meta/fbnic/fbnic_txrx.c page_pool_dma_sync_netmem_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dma_sync_for_cpu 1
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/virtio_net.c page_pool_dma_sync_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool->p.dev->dma_io_tlb_mem->can_grow 0-1
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 3 dma_sync_size 0-u32max
UNITS 3 dma_sync_size unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/broadcom/genet/bcmgenet.c page_pool_dma_sync_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->mp_priv->fired_notifs 0-4294967295
PARAM_VALUE 0 pool->p.dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 pool->p.dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 dma_sync_size 2048
CAPPED_DATA 0 pool 1
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
NOCHECK_CALL

drivers/net/ethernet/pensando/ionic/ionic_txrx.c page_pool_dma_sync_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
CAPPED_DATA 3 dma_sync_size 1
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 dma_sync_size unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/idpf/idpf_txrx.c page_pool_dma_sync_netmem_for_cpu() -> __page_pool_dma_sync_for_cpu()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->dma_sync_for_cpu 1
PARAM_VALUE 3 dma_sync_size 1-u32max
DATA_SOURCE 0 pool $0
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 dma_sync_size $3
FUZZY_MAX 3 dma_sync_size 14
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 offset unit_byte
LOCK2 rcu_read
HALF_LOCKED2 bh