Defined in 1 files as a prototype:
Defined in 2 files as a function:
- include/linux/dma-mapping.h, line 343 (as a function)
- kernel/dma/mapping.c, line 852 (as a function)
Referenced in 5 files:
- drivers/media/common/videobuf2/videobuf2-dma-contig.c, line 177
- drivers/nvme/host/pci.c
- drivers/usb/core/usb.c
- kernel/dma/mapping.c, line 863
- sound/core/memalloc.c
Smatch caller information:
sound/core/memalloc.c snd_dma_noncontig_alloc() -> dma_free_noncontiguous()
| 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.first_waiter->list.prev->prev | 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->dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_mask | 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->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 2 | sgt | 4096-ptr_max |
| PARAM_VALUE | 2 | sgt->nents | 1 |
| PARAM_VALUE | 2 | sgt->orig_nents | 0 |
| PARAM_VALUE | 2 | sgt->sgl | 4096-ptr_max |
| BUF_SIZE | 2 | sgt | 16 |
| CAPPED_DATA | 0 | dev->cma_area->nranges | 1 |
| DATA_SOURCE | 1 | size | $1 |
| DATA_SOURCE | 2 | sgt | r dma_alloc_noncontiguous |
| NOSPEC | 1 | size | |
| NOSPEC | 1 | size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->cma_area->available_count | 1-s64max[c] |
| HOST_DATA | 1 | size | 0,4096-12884905984[c] |
| HOST_DATA | 2 | sgt->sgl->dma_address | 0-18446744073709551614 |
| HOST_DATA | 2 | sgt->sgl->length | 0,4096-u32max[c] |
| USER_DATA | 1 | size | 0,4096-4294967296[c] |
| USER_DATA | 2 | sgt->sgl->length | 0,4096-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | dev->cma_area->available_count | |
| UNITS | 0 | dev | unit_byte |
sound/core/memalloc.c snd_dma_noncontig_free() -> dma_free_noncontiguous()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | dev->flags | 4096-ptr_max |
| BUF_SIZE | 2 | sgt | 16,40 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | size | |
| UNITS | 0 | dev | unit_byte |
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | &azx_dev->dsp_mutex | ||
| HALF_LOCKED2 | &card->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &runtime->buffer_mutex | ||
| HALF_LOCKED2 | &sflist->presets_mutex | ||
| HALF_LOCKED2 | _T->lock |
drivers/nvme/host/pci.c nvme_alloc_host_mem_single() -> dma_free_noncontiguous()
| 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.first_waiter->list.prev->prev | 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->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_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | dev->flags | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 1 | size | 0-17592186040320 |
| PARAM_VALUE | 2 | sgt | 4096-ptr_max |
| PARAM_VALUE | 2 | sgt->nents | 1 |
| PARAM_VALUE | 2 | sgt->orig_nents | 0 |
| PARAM_VALUE | 3 | dir | 0 |
| BUF_SIZE | 2 | sgt | 16 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 0 | dev->cma_area->nranges | 1 |
| CAPPED_DATA | 1 | size | 1 |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 1 | size | $1 |
| DATA_SOURCE | 2 | sgt | r dma_alloc_noncontiguous |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->cma_area->available_count | 1-s64max[c] |
| HOST_DATA | 2 | sgt->sgl->dma_address | 0-18446744073709551614 |
| HOST_DATA | 2 | sgt->sgl->length | 0,4096-u32max[c] |
| HALF_LOCKED2 | &of->mutex |
drivers/nvme/host/pci.c nvme_free_host_mem() -> dma_free_noncontiguous()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 2 | sgt | 1-u64max |
| PARAM_VALUE | 3 | dir | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | size | 0-u64max |
| HOST_DATA | 2 | sgt->sgl->dma_address | 0-18446744073709551614 |
| HOST_DATA | 2 | sgt->sgl->length | 0,4096-u32max[c] |
| HALF_LOCKED2 | &of->mutex |
drivers/media/common/videobuf2/videobuf2-dma-contig.c vb2_dc_put() -> dma_free_noncontiguous()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | size | unit_byte |
drivers/usb/core/usb.c usb_alloc_noncoherent() -> dma_free_noncontiguous()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 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->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_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dma_io_tlb_pools.next->prev->prev | 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->attach_deferred | 0 |
| PARAM_VALUE | 0 | dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 2 | sgt | 4096-ptr_max |
| PARAM_VALUE | 2 | sgt->nents | 1 |
| PARAM_VALUE | 2 | sgt->orig_nents | 0 |
| PARAM_VALUE | 3 | dir | 1-2 |
| BUF_SIZE | 2 | sgt | 16 |
| CAPPED_DATA | 0 | dev->cma_area->nranges | 1 |
| DATA_SOURCE | 1 | size | $1 |
| DATA_SOURCE | 2 | sgt | r dma_alloc_noncontiguous |
| DATA_SOURCE | 3 | dir | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | &dev->v4l_lock |
drivers/usb/core/usb.c usb_free_noncoherent() -> dma_free_noncontiguous()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->flags | 4096-ptr_max |
| PARAM_VALUE | 3 | dir | 1-2 |
| DATA_SOURCE | 1 | size | $1 |
| DATA_SOURCE | 2 | sgt | $4 |
| DATA_SOURCE | 3 | dir | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
| UNITS | 1 | size | unit_byte |
| HALF_LOCKED2 | &dev->v4l_lock |