Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/crypto/marvell/octeontx2/otx2_cptvf_reqmgr.c otx2_cpt_post_process() -> process_pending_queue()

Type Parameter Key Value
PARAM_VALUE 0 lfs->lf 4096-ptr_max
PARAM_VALUE 1 pqueue 4096-ptr_max
NOCHECK_CALL

drivers/crypto/marvell/octeontx/otx_cptvf_reqmgr.c otx_cpt_post_process() -> process_pending_queue()

Type Parameter Key Value
PARAM_VALUE 1 pqueue 4096-ptr_max
NOCHECK_CALL

drivers/crypto/cavium/cpt/cptvf_reqmanager.c process_request() -> process_pending_queue()

Type Parameter Key Value
PARAM_VALUE 0 lfs 4096-ptr_max
PARAM_VALUE 0 lfs->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 lfs->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 lfs->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 lfs->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 lfs->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 lfs->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 lfs->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 lfs->pqinfo.queue 4096-ptr_max
PARAM_VALUE 1 pqueue 4096-ptr_max
PARAM_VALUE 2 qno 0
DATA_SOURCE 0 lfs $0
BIT_INFO 0 lfs->flags 0x8,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 tfm_mutex

drivers/crypto/cavium/cpt/cptvf_reqmanager.c process_request() -> process_pending_queue()

Type Parameter Key Value
PARAM_VALUE 0 lfs 4096-ptr_max
PARAM_VALUE 0 lfs->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 lfs->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 lfs->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 lfs->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 lfs->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 lfs->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 lfs->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 lfs->pqinfo.qlen 0,2046
PARAM_VALUE 0 lfs->pqinfo.queue 4096-ptr_max
PARAM_VALUE 1 pqueue 4096-ptr_max
PARAM_VALUE 1 pqueue->qlen 0,2046
PARAM_VALUE 2 qno 0
CAPPED_DATA 0 lfs->pqinfo.qlen 1
DATA_SOURCE 0 lfs $0
BIT_INFO 0 lfs->flags 0x8,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 tfm_mutex

drivers/crypto/cavium/cpt/cptvf_reqmanager.c vq_post_process() -> process_pending_queue()

Type Parameter Key Value
PARAM_VALUE 0 lfs 4096-ptr_max
PARAM_VALUE 1 pqueue 4096-ptr_max
PARAM_VALUE 2 qno 0-1
CAPPED_DATA 2 qno 1
DATA_SOURCE 0 lfs $0
DATA_SOURCE 2 qno $1
PARAM_COMPARE 0 lfs->nr_queues >= $2
PARAM_COMPARE 2 qno <= $0->nr_queues
NOCHECK_CALL