Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/dma/direct.c dma_direct_free() -> swiotlb_free_from_pool()

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_uses_io_tlb 1
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 1 tlb_addr 0-18446744073709551614
PARAM_VALUE 2 pool 4096-ptr_max
CAPPED_DATA 1 tlb_addr 1
CAPPED_DATA 1 tlb_addr 1
CAPPED_DATA 2 pool->start 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 tlb_addr r dma_to_phys
DATA_SOURCE 2 pool r swiotlb_find_pool
NOCHECK_CALL

kernel/dma/direct.c dma_direct_free_pages() -> swiotlb_free_from_pool()

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_uses_io_tlb 1
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->iommu_group->default_domain 0-s64max
PARAM_VALUE 1 tlb_addr 0,4096-18446744073709547520
PARAM_VALUE 2 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 2 pool->start 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 pool r swiotlb_find_pool
BIT_INFO 1 tlb_addr 0x0,0xfffffffffffff000
BIT_INFO 1 tlb_addr 0x0,0xfffffffffffff000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
UNITS 0 dev unit_byte