Defined in 2 files as a member:
Defined in 2 files as a function:
- drivers/media/pci/intel/ipu6/ipu6-mmu.c, line 128 (as a function)
- drivers/staging/media/ipu7/ipu7-mmu.c, line 111 (as a function)
Referenced in 6 files:
- drivers/bus/mhi/host/init.c
- drivers/bus/mhi/host/main.c, line 1212
- drivers/media/pci/intel/ipu6/ipu6-mmu.c
- drivers/net/ethernet/emulex/benet/be_main.c
- drivers/net/ethernet/sun/niu.c
- drivers/staging/media/ipu7/ipu7-mmu.c
Smatch caller information:
drivers/media/pci/intel/ipu6/ipu6-mmu.c alloc_dummy_l2_pt() -> map_single()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmu_info | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->aperture_end | 0,s32max-u32max |
| PARAM_VALUE | 0 | mmu_info->aperture_start | 0 |
| PARAM_VALUE | 0 | mmu_info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_mask | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | mmu_info->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | mmu_info->dummy_page | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | mmu_info->pgsize_bitmap | 4096 |
| PARAM_VALUE | 1 | ptr | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 0 | mmu_info | 168 |
| BUF_SIZE | 0 | mmu_info->dev | 1616 |
| CAPPED_DATA | 0 | mmu_info->aperture_end | 1 |
| DATA_SOURCE | 0 | mmu_info | $0 |
| DATA_SOURCE | 1 | ptr | r get_zeroed_page_noprof |
| HARD_MAX | 0 | mmu_info->aperture_end | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/media/pci/intel/ipu6/ipu6-mmu.c alloc_l1_pt() -> map_single()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmu_info | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->aperture_end | 0,s32max-u32max |
| PARAM_VALUE | 0 | mmu_info->aperture_start | 0 |
| PARAM_VALUE | 0 | mmu_info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_mask | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | mmu_info->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | mmu_info->dummy_l2_pt | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | mmu_info->dummy_page | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | mmu_info->l2_pts | 1-u64max |
| PARAM_VALUE | 0 | mmu_info->pgsize_bitmap | 4096 |
| PARAM_VALUE | 1 | ptr | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 0 | mmu_info | 168 |
| BUF_SIZE | 0 | mmu_info->dev | 1616 |
| BUF_SIZE | 0 | mmu_info->l2_pts | 8192 |
| CAPPED_DATA | 0 | mmu_info->aperture_end | 1 |
| DATA_SOURCE | 0 | mmu_info | $0 |
| DATA_SOURCE | 1 | ptr | r get_zeroed_page_noprof |
| HARD_MAX | 0 | mmu_info->aperture_end | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/media/pci/intel/ipu6/ipu6-mmu.c get_dummy_page() -> map_single()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmu_info | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->aperture_end | 0,s32max-u32max |
| PARAM_VALUE | 0 | mmu_info->aperture_start | 0 |
| PARAM_VALUE | 0 | mmu_info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->pgsize_bitmap | 4096 |
| PARAM_VALUE | 1 | ptr | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 0 | mmu_info | 168 |
| BUF_SIZE | 0 | mmu_info->dev | 1616 |
| CAPPED_DATA | 0 | mmu_info->aperture_end | 1 |
| DATA_SOURCE | 0 | mmu_info | $0 |
| DATA_SOURCE | 1 | ptr | r get_zeroed_page_noprof |
| HARD_MAX | 0 | mmu_info->aperture_end | u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/media/pci/intel/ipu6/ipu6-mmu.c l2_map() -> map_single()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmu_info | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | mmu_info->l1_pt | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->l2_pts | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->pgsize_bitmap | 1-u64max |
| PARAM_VALUE | 1 | ptr | 1-u64max |
| CAPPED_DATA | 0 | mmu_info->dummy_l2_pteval | 1 |
| DATA_SOURCE | 0 | mmu_info | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &mmu_info->lock | |
| TYPE_LOCK | (struct ipu6_mmu_info)->lock |
drivers/staging/media/ipu7/ipu7-mmu.c alloc_dummy_l2_pt() -> map_single()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmu_info | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->aperture_end | s32max,u32max |
| PARAM_VALUE | 0 | mmu_info->aperture_start | 67108864,83886080 |
| PARAM_VALUE | 0 | mmu_info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_mask | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | mmu_info->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | mmu_info->dummy_page | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | mmu_info->pgsize_bitmap | 4096 |
| PARAM_VALUE | 1 | ptr | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 0 | mmu_info | 168 |
| BUF_SIZE | 0 | mmu_info->dev | 1616 |
| DATA_SOURCE | 0 | mmu_info | $0 |
| DATA_SOURCE | 1 | ptr | r get_zeroed_page_noprof |
| FUZZY_MAX | 0 | mmu_info->aperture_end | u32max |
| FUZZY_MAX | 0 | mmu_info->aperture_start | 83886080 |
| BIT_INFO | 0 | mmu_info->aperture_end | 0x7fffffff,0xffffffffffffffff |
| BIT_INFO | 0 | mmu_info->aperture_start | 0x4000000,0xffffffffffffffff |
| HARD_MAX | 0 | mmu_info->aperture_end | u32max |
| HARD_MAX | 0 | mmu_info->aperture_start | 83886080 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/staging/media/ipu7/ipu7-mmu.c alloc_l1_pt() -> map_single()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmu_info | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->aperture_end | s32max,u32max |
| PARAM_VALUE | 0 | mmu_info->aperture_start | 67108864,83886080 |
| PARAM_VALUE | 0 | mmu_info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_mask | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | mmu_info->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | mmu_info->dummy_l2_pt | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | mmu_info->dummy_page | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | mmu_info->l2_pts | 1-u64max |
| PARAM_VALUE | 0 | mmu_info->pgsize_bitmap | 4096 |
| PARAM_VALUE | 1 | ptr | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 0 | mmu_info | 168 |
| BUF_SIZE | 0 | mmu_info->dev | 1616 |
| BUF_SIZE | 0 | mmu_info->l2_pts | 8192 |
| DATA_SOURCE | 0 | mmu_info | $0 |
| DATA_SOURCE | 1 | ptr | r get_zeroed_page_noprof |
| FUZZY_MAX | 0 | mmu_info->aperture_end | u32max |
| FUZZY_MAX | 0 | mmu_info->aperture_start | 83886080 |
| BIT_INFO | 0 | mmu_info->aperture_end | 0x7fffffff,0xffffffffffffffff |
| BIT_INFO | 0 | mmu_info->aperture_start | 0x4000000,0xffffffffffffffff |
| HARD_MAX | 0 | mmu_info->aperture_end | u32max |
| HARD_MAX | 0 | mmu_info->aperture_start | 83886080 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/staging/media/ipu7/ipu7-mmu.c get_dummy_page() -> map_single()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmu_info | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->aperture_end | s32max,u32max |
| PARAM_VALUE | 0 | mmu_info->aperture_start | 67108864,83886080 |
| PARAM_VALUE | 0 | mmu_info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->pgsize_bitmap | 4096 |
| PARAM_VALUE | 1 | ptr | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 0 | mmu_info | 168 |
| BUF_SIZE | 0 | mmu_info->dev | 1616 |
| DATA_SOURCE | 0 | mmu_info | $0 |
| DATA_SOURCE | 1 | ptr | r get_zeroed_page_noprof |
| FUZZY_MAX | 0 | mmu_info->aperture_end | u32max |
| FUZZY_MAX | 0 | mmu_info->aperture_start | 83886080 |
| BIT_INFO | 0 | mmu_info->aperture_end | 0x7fffffff,0xffffffff |
| BIT_INFO | 0 | mmu_info->aperture_start | 0x4000000,0x5000000 |
| HARD_MAX | 0 | mmu_info->aperture_end | u32max |
| HARD_MAX | 0 | mmu_info->aperture_start | 83886080 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/staging/media/ipu7/ipu7-mmu.c l2_map() -> map_single()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmu_info | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | mmu_info->l1_pt | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->l2_pts | 4096-ptr_max |
| PARAM_VALUE | 0 | mmu_info->pgsize_bitmap | 1-u64max |
| PARAM_VALUE | 1 | ptr | 1-u64max |
| CAPPED_DATA | 0 | mmu_info->dummy_l2_pteval | 1 |
| DATA_SOURCE | 0 | mmu_info | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &mmu_info->lock | |
| TYPE_LOCK | (struct ipu7_mmu_info)->lock |