Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/platform/nxp/dw100/dw100.c dw100_start_streaming() -> dw100_destroy_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dw_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.cma_area->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.power.usage_count.counter | 0-s32max |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ctx->map | 1-ptr_max |
| PARAM_VALUE | 0 | ctx->map->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | ctx->map->memcg_data | 0 |
| PARAM_VALUE | 0 | ctx->map->page_type | 0-4294967295 |
| PARAM_VALUE | 0 | ctx->user_map_is_dirty | 0 |
| BUF_SIZE | 0 | ctx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ctx | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dmxdev->mutex | ||
| HALF_LOCKED2 | q->lock |
drivers/media/platform/nxp/dw100/dw100.c dw100_stop_streaming() -> dw100_destroy_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dw_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | ctx->dw_dev->pdev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ctx->fh.m2m_ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->fh.m2m_ctx->cap_q_ctx.rdy_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->fh.m2m_ctx->out_q_ctx.rdy_spinlock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | ctx | (-1),360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,3040,3256,4104,4824,7552,7944,8768,116088 |
| BUF_SIZE | 0 | ctx | (-1),360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,3040,3256,4104,4824,7552,7944,8768,116088 |
| STR_LEN | 0 | ctx | (-1),5-9,12 |
| STR_LEN | 0 | ctx | (-1),5-9,12 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dmxdev->mutex | ||
| HALF_LOCKED2 | &q->mmap_lock |