Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/dma/mapping.c __dma_alloc_pages() -> dma_alloc_direct()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->coherent_dma_mask 1-u64max
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 dev->dma_ops <= $1
PARAM_COMPARE 1 ops >= $0->dma_ops
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
UNITS 0 dev unit_byte

kernel/dma/mapping.c __dma_free_pages() -> dma_alloc_direct()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 dev->dma_ops <= $1
PARAM_COMPARE 1 ops >= $0->dma_ops
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
UNITS 0 dev unit_byte

kernel/dma/mapping.c dma_alloc_attrs() -> dma_alloc_direct()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 dev->dma_ops <= $1
PARAM_COMPARE 1 ops >= $0->dma_ops

kernel/dma/mapping.c dma_can_mmap() -> dma_alloc_direct()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 dev->dma_ops <= $1
PARAM_COMPARE 1 ops >= $0->dma_ops
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
HALF_LOCKED2 &pcm->open_mutex

kernel/dma/mapping.c dma_free_attrs() -> dma_alloc_direct()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 dev->dma_ops <= $1
PARAM_COMPARE 1 ops >= $0->dma_ops

kernel/dma/mapping.c dma_get_required_mask() -> dma_alloc_direct()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 dev->dma_ops <= $1
PARAM_COMPARE 1 ops >= $0->dma_ops
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte

kernel/dma/mapping.c dma_get_sgtable_attrs() -> dma_alloc_direct()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 dev->dma_ops <= $1
PARAM_COMPARE 1 ops >= $0->dma_ops
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
HALF_LOCKED2 &ccdc->ioctl_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &stat->ioctl_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &qdev_mutex

kernel/dma/mapping.c dma_mmap_attrs() -> dma_alloc_direct()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 dev->dma_ops <= $1
PARAM_COMPARE 1 ops >= $0->dma_ops
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
HALF_LOCKED2 &dev->attach_lock
HALF_LOCKED2 &fbi->mm_lock
HALF_LOCKED2 &file->device->disassociate_srcu
HALF_LOCKED2 &file->disassociation_lock
HALF_LOCKED2 &idev->info_lock
HALF_LOCKED2 &info->mm_lock
HALF_LOCKED2 &q->mutex