Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/amd_gart_64.c gart_free_coherent() -> gart_unmap_phys()

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

arch/x86/kernel/amd_gart_64.c gart_unmap_sg() -> gart_unmap_phys()

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 2 size 1-u32max
PARAM_VALUE 3 dir 0-2
PARAM_VALUE 4 attrs 0
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
DATA_SOURCE 3 dir $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
UNITS 1 dma_addr unit_byte
UNITS 2 size unit_byte

kernel/dma/ops_helpers.c dma_common_free_pages() -> (struct dma_map_ops)->unmap_phys()

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->default_domain 0-s64max
PARAM_VALUE 2 size 0,4096-u64max
PARAM_VALUE 4 attrs 32
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 dma_addr $3
DATA_SOURCE 2 size $1
DATA_SOURCE 3 dir $4
BIT_INFO 2 size 0x0,0xfffffffffffff000
BIT_INFO 2 size 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 dma_addr 0-18446744073709551614
HOST_DATA 2 size 0,4096-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

kernel/dma/mapping.c dma_unmap_phys() -> (struct dma_map_ops)->unmap_phys()

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_mask 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 3 dir 0-2
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 dma_addr $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 dir $3
DATA_SOURCE 4 attrs $4
FUZZY_MAX 3 dir 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 dma_addr 0-u64max
HOST_DATA 2 size 0-16777200[c]
HALF_LOCKED2 &umem_odp->umem_mutex