Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/iommu/dma-iommu.c __iommu_dma_free() -> dma_common_free_remap()

Type Parameter Key Value
PARAM_VALUE 0 cpu_addr 1-u64max
PARAM_VALUE 1 size 0,4096-u64max
CAPPED_DATA 0 cpu_addr 1
DATA_SOURCE 0 cpu_addr $2
BIT_INFO 1 size 0x0,0xfffffffffffff000
BIT_INFO 1 size 0x0,0xfffffffffffff000
NOCHECK_CALL
UNITS 1 size unit_byte

kernel/dma/direct.c dma_direct_alloc() -> dma_common_free_remap()

Type Parameter Key Value
PARAM_VALUE 0 cpu_addr 1-18446744073709551614
PARAM_VALUE 1 size 0,4096-u64max
BIT_INFO 1 size 0x0,0xfffffffffffff000
BIT_INFO 1 size 0x0,0xfffffffffffff000
MEM_ZERO 0 cpu_addr
NOCHECK_CALL