Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/xen/swiotlb-xen.c xen_swiotlb_sync_single_for_device() -> __swiotlb_sync_single_for_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->dma_io_tlb_mem 4096-ptr_max
PARAM_VALUE 0 dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 dev->dma_range_map 0,4096-ptr_max
PARAM_VALUE 0 dev->dma_uses_io_tlb 1
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 3 dir 0-2
PARAM_VALUE 4 pool 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
CAPPED_DATA 4 pool->start 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 tlb_addr r xen_dma_to_phys
DATA_SOURCE 2 size $2
DATA_SOURCE 3 dir $3
DATA_SOURCE 4 pool r xen_swiotlb_find_pool
FUZZY_MAX 3 dir 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 size

drivers/iommu/dma-iommu.c swiotlb_sync_single_for_device() -> __swiotlb_sync_single_for_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->dma_io_tlb_mem 4096-ptr_max
PARAM_VALUE 0 dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 dev->dma_uses_io_tlb 1
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->iommu_group 4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 tlb_addr 0-18446744073709551614
PARAM_VALUE 3 dir 0-2
PARAM_VALUE 4 pool 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
CAPPED_DATA 1 tlb_addr 1
CAPPED_DATA 1 tlb_addr 1
CAPPED_DATA 4 pool->start 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 tlb_addr $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 dir $3
DATA_SOURCE 4 pool r swiotlb_find_pool
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 2 size
UNITS 0 dev unit_byte

kernel/dma/mapping.c swiotlb_sync_single_for_device() -> __swiotlb_sync_single_for_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dma_io_tlb_mem 4096-ptr_max
PARAM_VALUE 0 dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 dev->dma_ops 0
PARAM_VALUE 0 dev->dma_uses_io_tlb 1
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 1 tlb_addr 0-18446744073709551614
PARAM_VALUE 3 dir 0-2
PARAM_VALUE 4 pool 4096-ptr_max
CAPPED_DATA 1 tlb_addr 1
CAPPED_DATA 1 tlb_addr 1
CAPPED_DATA 4 pool->start 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 tlb_addr $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 dir $3
DATA_SOURCE 4 pool r swiotlb_find_pool
NOCHECK_CALL

kernel/dma/direct.c swiotlb_sync_single_for_device() -> __swiotlb_sync_single_for_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->dma_io_tlb_mem 4096-ptr_max
PARAM_VALUE 0 dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 dev->dma_ops 0
PARAM_VALUE 0 dev->dma_uses_io_tlb 1
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 dev->kobj.parent->release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->kobj.parent->release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->kobj.parent->release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dev->parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 tlb_addr 0-18446744073709551614
PARAM_VALUE 3 dir 0-2
PARAM_VALUE 4 pool 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
CAPPED_DATA 1 tlb_addr 1
CAPPED_DATA 1 tlb_addr 1
CAPPED_DATA 4 pool->start 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 tlb_addr $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 dir $3
DATA_SOURCE 4 pool r swiotlb_find_pool
FUZZY_MAX 3 dir 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 size
UNITS 0 dev unit_byte
HALF_LOCKED2 &bo->lock
HALF_LOCKED2 &buffer->lock
HALF_LOCKED2 &ccdc->ioctl_lock
HALF_LOCKED2 &ctlr->io_mutex
HALF_LOCKED2 &dbc->ch_lock
HALF_LOCKED2 &dbc->req_lock
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv->port.lock
HALF_LOCKED2 &qdev->dev_lock
HALF_LOCKED2 &sport->port.lock
HALF_LOCKED2 &stat->ioctl_lock
HALF_LOCKED2 &usr->qddev_lock
HALF_LOCKED2 flags
HALF_LOCKED2 obj->resv