Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/common/saa7146/saa7146_core.c saa7146_vfree_destroy_pgtable() -> saa7146_pgtable_free()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
PARAM_VALUE 0 pci->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 pci->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 pci->dev.flags 4096-ptr_max
PARAM_VALUE 1 pt 4096-ptr_max
BUF_SIZE 0 pci (-1),1-s32max
BUF_SIZE 0 pci (-1),1-s32max
DATA_SOURCE 0 pci $0
DATA_SOURCE 1 pt $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pci->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 1 pt->nents

drivers/media/common/saa7146/saa7146_core.c saa7146_vmalloc_build_pgtable() -> saa7146_pgtable_free()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
PARAM_VALUE 0 pci->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pci->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pci->dev.dma_mask 0,4096-ptr_max
PARAM_VALUE 0 pci->dev.flags 4096-ptr_max
PARAM_VALUE 0 pci->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 pci->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pci->driver 4096-ptr_max
PARAM_VALUE 0 pci->error_state 0-2,4-u32max
PARAM_VALUE 0 pci->is_busmaster 1
PARAM_VALUE 0 pci->pcie_cap 0-1
PARAM_VALUE 1 pt 4096-ptr_max
PARAM_VALUE 1 pt->cpu 1-ptr_max
PARAM_VALUE 1 pt->nents 0,24-353,376-705
PARAM_VALUE 1 pt->size 4096
PARAM_VALUE 1 pt->slist 16,4096-ptr_max
BUF_SIZE 0 pci (-1),1-s32max
BUF_SIZE 0 pci (-1),1-s32max
BUF_SIZE 1 pt->slist 0,768-11296,12032-22560
CAPPED_DATA 0 &pci->dev 1
CAPPED_DATA 1 pt->nents 1
DATA_SOURCE 0 pci $0
DATA_SOURCE 1 pt $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pci->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 1 pt->nents
HALF_LOCKED2 &pool->lock

drivers/media/common/saa7146/saa7146_vbi.c buf_cleanup() -> saa7146_pgtable_free()

Type Parameter Key Value
PARAM_VALUE 1 pt 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &q->mmap_lock

drivers/media/common/saa7146/saa7146_vbi.c buf_init() -> saa7146_pgtable_free()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
PARAM_VALUE 0 pci->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pci->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pci->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 pci->dev.iommu->attach_deferred 0-1
PARAM_VALUE 1 pt 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/common/saa7146/saa7146_video.c release_all_pagetables() -> saa7146_pgtable_free()

Type Parameter Key Value
PARAM_VALUE 0 pci->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 pt 4096-ptr_max
BUF_SIZE 1 pt 144
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/common/saa7146/saa7146_video.c release_all_pagetables() -> saa7146_pgtable_free()

Type Parameter Key Value
PARAM_VALUE 0 pci->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 pt 4096-ptr_max
BUF_SIZE 1 pt 96
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/common/saa7146/saa7146_video.c release_all_pagetables() -> saa7146_pgtable_free()

Type Parameter Key Value
PARAM_VALUE 0 pci->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 pt 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL