Defined in 1 files as a prototype:
Defined in 2 files as a function:
- include/linux/dma-mapping.h, line 352 (as a function)
- kernel/dma/mapping.c, line 876 (as a function)
Referenced in 4 files:
- drivers/media/common/videobuf2/videobuf2-dma-contig.c, line 176
- drivers/usb/core/usb.c, line 1112
- kernel/dma/mapping.c, line 881
- sound/core/memalloc.c, line 582
Smatch caller information:
sound/core/memalloc.c snd_dma_noncontig_free() -> dma_vunmap_noncontiguous()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->cma_area->available_count | 0-s64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | 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/media/common/videobuf2/videobuf2-dma-contig.c vb2_dc_put() -> dma_vunmap_noncontiguous()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | vaddr | 1-u64max |
| BUF_SIZE | 1 | vaddr | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | vaddr | unit_byte |
drivers/usb/core/usb.c usb_free_noncoherent() -> dma_vunmap_noncontiguous()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | vaddr | 1-u64max |
| DATA_SOURCE | 1 | vaddr | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | &dev->v4l_lock |