Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/iommu/dma-iommu.c iommu_dma_sync_sg_for_device() -> iommu_dma_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_mask 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 3 dir 0-2
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 3 dir $3
FUZZY_MAX 3 dir 2
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
UNITS 1 dma_handle unit_byte

kernel/dma/mapping.c __dma_sync_single_for_device() -> iommu_dma_sync_single_for_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 3 dir 0-2
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 dma_handle $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 dir $3
NOCHECK_CALL