Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/staging/media/ipu7/ipu7.c ipu7_pci_probe() -> ipu7_mmu_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmu | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->bus | 1819040679514615808 |
| PARAM_VALUE | 0 | mmu->dev->devres_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | mmu->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->dma_io_tlb_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->dma_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->dma_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | mmu->dev->kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | mmu->dev->kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | mmu->dev->links.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->links.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->links.defer_sync.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->links.defer_sync.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->links.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->links.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->numa_node | (-1) |
| PARAM_VALUE | 0 | mmu->dev->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->power.early_init | 1 |
| PARAM_VALUE | 0 | mmu->dev->power.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->power.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->power.last_status | (-1) |
| PARAM_VALUE | 0 | mmu->dev->release | 1037532687004880896 |
| PARAM_VALUE | 0 | mmu->dmap | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->iovad.anchor.node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | mmu->dmap->iovad.anchor.node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->iovad.anchor.node.rb_right | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->iovad.anchor.pfn_hi | u64max |
| PARAM_VALUE | 0 | mmu->dmap->iovad.anchor.pfn_lo | u64max |
| PARAM_VALUE | 0 | mmu->dmap->iovad.granule | 4096 |
| PARAM_VALUE | 0 | mmu->dmap->iovad.start_pfn | 16384,20480 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->aperture_end | s32max,u32max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->aperture_start | 67108864,83886080 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dmap | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dummy_l2_pt | 18446612682070032384 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dummy_page | 18446612682070032384 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->l1_pt | 18446612682070032384 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->l2_pts | 1-u64max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->pgsize_bitmap | 4096 |
| PARAM_VALUE | 0 | mmu->iova_trash_page | 0,4096-18446744073709547520 |
| PARAM_VALUE | 0 | mmu->nr_mmus | 4-5 |
| PARAM_VALUE | 0 | mmu->pci_trash_page | 0-18446744073709551614 |
| PARAM_VALUE | 0 | mmu->tlb_invalidate | 2822582151723900928 |
| PARAM_VALUE | 0 | mmu->vma_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->vma_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->vma_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->vma_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->vma_list.prev->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | mmu->nr_mmus | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/staging/media/ipu7/ipu7.c ipu7_pci_probe() -> ipu7_mmu_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmu | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->bus | 1819040679514615808 |
| PARAM_VALUE | 0 | mmu->dev->devres_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | mmu->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->dma_io_tlb_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->dma_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->dma_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | mmu->dev->kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | mmu->dev->kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | mmu->dev->links.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->links.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->links.defer_sync.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->links.defer_sync.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->links.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->links.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->numa_node | (-1) |
| PARAM_VALUE | 0 | mmu->dev->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->power.early_init | 1 |
| PARAM_VALUE | 0 | mmu->dev->power.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->power.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dev->power.last_status | (-1) |
| PARAM_VALUE | 0 | mmu->dev->release | 1037532687004880896 |
| PARAM_VALUE | 0 | mmu->dmap | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->iovad.anchor.node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | mmu->dmap->iovad.anchor.node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->iovad.anchor.node.rb_right | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->iovad.anchor.pfn_hi | u64max |
| PARAM_VALUE | 0 | mmu->dmap->iovad.anchor.pfn_lo | u64max |
| PARAM_VALUE | 0 | mmu->dmap->iovad.granule | 4096 |
| PARAM_VALUE | 0 | mmu->dmap->iovad.start_pfn | 16384,20480 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->aperture_end | s32max,u32max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->aperture_start | 67108864,83886080 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dmap | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dummy_l2_pt | 18446612682070032384 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->dummy_page | 18446612682070032384 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->l1_pt | 18446612682070032384 |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->l2_pts | 1-u64max |
| PARAM_VALUE | 0 | mmu->dmap->mmu_info->pgsize_bitmap | 4096 |
| PARAM_VALUE | 0 | mmu->iova_trash_page | 0,4096-18446744073709547520 |
| PARAM_VALUE | 0 | mmu->mmid | 1 |
| PARAM_VALUE | 0 | mmu->nr_mmus | 4-5 |
| PARAM_VALUE | 0 | mmu->pci_trash_page | 0-18446744073709551614 |
| PARAM_VALUE | 0 | mmu->tlb_invalidate | 2822582151723900928 |
| PARAM_VALUE | 0 | mmu->vma_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->vma_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->vma_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->vma_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu->vma_list.prev->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | mmu->nr_mmus | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/staging/media/ipu7/ipu7.c ipu7_pci_remove() -> ipu7_mmu_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/staging/media/ipu7/ipu7.c ipu7_pci_remove() -> ipu7_mmu_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |