Defined in 1 files as a prototype:
Defined in 2 files as a function:
- include/linux/dma-mapping.h, line 347 (as a function)
- kernel/dma/mapping.c, line 865 (as a function)
Referenced in 4 files:
- drivers/media/common/videobuf2/videobuf2-dma-contig.c, line 111
- drivers/usb/core/usb.c, line 1075
- kernel/dma/mapping.c, line 874
- sound/core/memalloc.c, line 569
Smatch caller information:
sound/core/memalloc.c snd_dma_noncontig_alloc() -> dma_vmap_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 | |||
| 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 |
drivers/media/common/videobuf2/videobuf2-dma-contig.c vb2_dc_vaddr() -> dma_vmap_noncontiguous()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
drivers/usb/core/usb.c usb_alloc_noncoherent() -> dma_vmap_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->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 |
| 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 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | &dev->v4l_lock |