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_cpu() -> __swiotlb_sync_single_for_cpu()

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 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

drivers/iommu/dma-iommu.c swiotlb_sync_single_for_cpu() -> __swiotlb_sync_single_for_cpu()

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_uses_io_tlb 1
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->iommu_group 4096-ptr_max
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
UNITS 0 dev unit_byte

kernel/dma/mapping.c swiotlb_sync_single_for_cpu() -> __swiotlb_sync_single_for_cpu()

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_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
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
HOST_DATA 1 tlb_addr 0-18446744073709551614[c]
HOST_DATA 2 size 0-16777200[c]
UNITS 0 dev unit_byte
UNITS 2 size unit_byte

kernel/dma/direct.c swiotlb_sync_single_for_cpu() -> __swiotlb_sync_single_for_cpu()

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->default_domain 0-s64max
PARAM_VALUE 0 dev->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->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 0 dev->cma_area->available_count
UNITS 0 dev unit_byte
UNITS 2 size unit_byte