Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/dma-iommu.c iommu_dma_alloc_remap() -> __iommu_dma_unmap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dma_mem 0
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->iommu->attach_deferred 0
PARAM_VALUE 0 dev->iommu->pci_32bit_workaround 0
PARAM_VALUE 0 dev->iommu_group 4096-ptr_max
CAPPED_DATA 0 dev 1
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 size $1
NOCHECK_CALL
UNITS 1 dma_addr unit_byte

drivers/iommu/dma-iommu.c iommu_dma_free() -> __iommu_dma_unmap()

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

drivers/iommu/dma-iommu.c iommu_dma_free_noncontiguous() -> __iommu_dma_unmap()

Type Parameter Key Value
PARAM_VALUE 0 dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->flags 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 size $1
NOSPEC 2 size
NOSPEC 2 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 dma_addr 0-18446744073709551614
HOST_DATA 2 size 0-u64max
USER_DATA 1 dma_addr 9223372036854788096-9223372036855042047[c]
USER_DATA 2 size 0,4096-4294967296[c]
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
UNITS 0 dev unit_byte
UNITS 1 dma_addr unit_byte
UNITS 2 size unit_byte

drivers/iommu/dma-iommu.c iommu_dma_unmap_phys() -> __iommu_dma_unmap()

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->flags 4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 dma_addr $1
DATA_SOURCE 2 size $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 dma_addr 0-u64max
HOST_DATA 2 size 0-u64max[c]
USER_DATA 1 dma_addr 9223372036854788096-9223372036855042047[c]
USER_DATA 2 size 0,4096-4294967296[c]
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
UNITS 0 dev unit_byte
UNITS 1 dma_addr unit_byte
UNITS 2 size unit_byte

drivers/iommu/dma-iommu.c iommu_dma_unmap_phys() -> __iommu_dma_unmap()

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->flags 4096-ptr_max
PARAM_VALUE 0 dev->iommu_group 4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 dma_addr $1
DATA_SOURCE 2 size $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 dma_addr 0-u64max
HOST_DATA 2 size 0-u64max[c]
USER_DATA 1 dma_addr 9223372036854788096-9223372036855042047[c]
USER_DATA 2 size 0,4096-4294967296[c]
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
UNITS 0 dev unit_byte
UNITS 1 dma_addr unit_byte
UNITS 2 size unit_byte

drivers/iommu/dma-iommu.c iommu_dma_unmap_sg() -> __iommu_dma_unmap()

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
DATA_SOURCE 0 dev $0
NOCHECK_CALL
UNITS 1 dma_addr unit_byte
UNITS 2 size unit_byte