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/mapping.c dma_alloc_pages() -> debug_dma_alloc_pages()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->coherent_dma_mask 1-u64max
PARAM_VALUE 0 dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 dev->dma_uses_io_tlb 1
PARAM_VALUE 1 page 1-u64max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 1 page s32min-s32max
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->cma_area->nranges 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 page r __dma_alloc_pages
DATA_SOURCE 2 size $1
DATA_SOURCE 3 direction $3
NOSPEC 2 size
NOSPEC 2 size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->cma_area->available_count 1-s64max[c]
HOST_DATA 2 size 0,4096-12884905984[c]
HOST_DATA 4 dma_addr 0-18446744073709551614
USER_DATA 2 size 0,4096-4294967296[c]
USER_DATA 4 dma_addr 9223372036854788096-9223372036855042047[c]
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 4 dma_addr
UNITS 0 dev unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 &ab->base_lock
HALF_LOCKED2 &ar->conf_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv_dev->lock
HALF_LOCKED2 bh