Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/pci/intel/ipu6/ipu6-buttress.c ipu6_buttress_map_fw_image() -> ipu6_dma_sync_sgtable()

Type Parameter Key Value
PARAM_VALUE 0 sys 4096-ptr_max
PARAM_VALUE 0 sys->auxdev.dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sys->auxdev.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sys->isp 4096-ptr_max
PARAM_VALUE 0 sys->isp->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sys->isp->pdev->dev.iommu->attach_deferred 0-1
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,4096-s64max
PARAM_VALUE 0 sys->mmu->nr_mmus 0,3-4
PARAM_VALUE 0 sys->mmu->pci_trash_page 0-s64max
PARAM_VALUE 0 sys->mmu->ready 0-1
PARAM_VALUE 0 sys->mmu->tlb_invalidate 0,5392496429902794752
PARAM_VALUE 0 sys->pdata 4096-ptr_max
PARAM_VALUE 1 sgt 4096-ptr_max
PARAM_VALUE 1 sgt->nents 0-s32max
PARAM_VALUE 1 sgt->sgl 0,16,4096-ptr_max
BUF_SIZE 0 sys (-1),2000
BUF_SIZE 0 sys (-1),2000
BUF_SIZE 0 sys->ctrl (-1),28
DATA_SOURCE 0 sys $0
DATA_SOURCE 1 sgt $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sgt->nents