Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/media/pci/intel/ipu6/ipu6-buttress.c, line 610
- drivers/media/pci/intel/ipu6/ipu6-isys.c
- drivers/media/pci/intel/ipu6/ipu6.c
Smatch caller information:
drivers/media/pci/intel/ipu6/ipu6.c ipu6_pci_probe() -> ipu6_buttress_unmap_fw_image()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sys | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->auxdev.dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sys->auxdev.dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sys->auxdev.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sys->auxdev.dev.power.request | 0-4 |
| PARAM_VALUE | 0 | sys->auxdev.dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | sys->auxdev.dev.power.wakeirq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sys->auxdev.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sys->auxdev.dev.type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sys->isp | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->mmu | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->mmu->dmap->iovad.iova_rbtree_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sys->mmu->dmap->mmu_info->l1_pt_dma | 0-4294967295 |
| PARAM_VALUE | 0 | sys->mmu->iova_trash_page | 0,4096-18446744073709547520 |
| PARAM_VALUE | 0 | sys->mmu->mmid | 0-1 |
| PARAM_VALUE | 0 | sys->mmu->nr_mmus | 0,3-4 |
| PARAM_VALUE | 0 | sys->mmu->pci_trash_page | 0-18446744073709551614 |
| PARAM_VALUE | 0 | sys->mmu->tlb_invalidate | 0,5392496429902794752 |
| PARAM_VALUE | 1 | sgt | 4096-ptr_max |
| BUF_SIZE | 0 | sys | (-1),2000 |
| BUF_SIZE | 0 | sys | (-1),2000 |
| BUF_SIZE | 0 | sys->ctrl | 28,u64max |
| CAPPED_DATA | 0 | sys->mmu->nr_mmus | 1 |
| DATA_SOURCE | 0 | sys | r ipu6_psys_init |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/pci/intel/ipu6/ipu6.c ipu6_pci_remove() -> ipu6_buttress_unmap_fw_image()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sys | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->isp | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->mmu | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->mmu->dmap->iovad.iova_rbtree_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sys->mmu->ready_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sgt | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/pci/intel/ipu6/ipu6-isys.c isys_probe() -> ipu6_buttress_unmap_fw_image()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sys | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->auxdrv | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->auxdrv_data | 0-3,6-7,10,15-16,4096-ptr_max |
| PARAM_VALUE | 0 | sys->fw_sgt.nents | 0-s32max |
| PARAM_VALUE | 0 | sys->fw_sgt.sgl | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->isp | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->isp->bus_ready_to_probe | 1 |
| PARAM_VALUE | 0 | sys->isp->cpd_fw->data | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->isp->pdev->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | sys->isp->secure_mode | 0 |
| PARAM_VALUE | 0 | sys->mmu->dmap->iovad.iova_rbtree_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sys->mmu->iova_trash_page | 0-18446744073709547520 |
| PARAM_VALUE | 0 | sys->mmu->pci_trash_page | 0-18446744073709551614 |
| PARAM_VALUE | 0 | sys->mmu->tlb_invalidate | 0-9223372036854775807 |
| PARAM_VALUE | 0 | sys->pdata | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->pkg_dir | 0 |
| PARAM_VALUE | 1 | sgt | 4096-ptr_max |
| PARAM_VALUE | 1 | sgt->nents | 0-s32max |
| PARAM_VALUE | 1 | sgt->sgl | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/pci/intel/ipu6/ipu6-isys.c isys_remove() -> ipu6_buttress_unmap_fw_image()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sys | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->isp | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->isp->secure_mode | 0 |
| PARAM_VALUE | 0 | sys->mmu | 4096-ptr_max |
| PARAM_VALUE | 0 | sys->mmu->dmap->iovad.iova_rbtree_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sys->mmu->ready_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | sgt | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |