Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/megaraid/megaraid_mm.c mraid_mm_free_adp_resources() -> mraid_mm_teardown_dma_pools()

Type Parameter Key Value
PARAM_VALUE 0 adp 4096-ptr_max
PARAM_VALUE 0 adp->list.next->prev 4096-ptr_max
PARAM_VALUE 0 adp->list.prev->next 4096-ptr_max
CAPPED_DATA 0 adp->unique_id 1
DATA_SOURCE 0 adp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/megaraid/megaraid_mm.c mraid_mm_setup_dma_pools() -> mraid_mm_teardown_dma_pools()

Type Parameter Key Value
PARAM_VALUE 0 adp 4096-ptr_max
PARAM_VALUE 0 adp->dma_pool_list 4096-ptr_max
PARAM_VALUE 0 adp->drvr_data 4096-18446744073709547520
PARAM_VALUE 0 adp->drvr_type 1
PARAM_VALUE 0 adp->issue_uioc 2945380012702441472
PARAM_VALUE 0 adp->kioc_list 4096-ptr_max
PARAM_VALUE 0 adp->kioc_pool.next 4096-ptr_max
PARAM_VALUE 0 adp->kioc_pool.next->next 4096-ptr_max
PARAM_VALUE 0 adp->kioc_pool.prev 4096-ptr_max
PARAM_VALUE 0 adp->kioc_pool.prev->next 4096-ptr_max
PARAM_VALUE 0 adp->kioc_pool.prev->prev 4096-ptr_max
PARAM_VALUE 0 adp->max_kioc 32
PARAM_VALUE 0 adp->mbox_list 4096-ptr_max
PARAM_VALUE 0 adp->pdev 4096-ptr_max
PARAM_VALUE 0 adp->pdev->bus 4096-ptr_max
PARAM_VALUE 0 adp->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 adp->pdev->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 adp->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 adp->pdev->driver 4096-ptr_max
PARAM_VALUE 0 adp->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 adp->pdev->irq 0
PARAM_VALUE 0 adp->pdev->is_busmaster 1
PARAM_VALUE 0 adp->pdev->pcie_cap 0-1
PARAM_VALUE 0 adp->pthru_dma_pool 4096-ptr_max
PARAM_VALUE 0 adp->pthru_dma_pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 adp->pthru_dma_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 adp->pthru_dma_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adp->pthru_dma_pool->size 0-s32max
PARAM_VALUE 0 adp->quiescent 1
PARAM_VALUE 0 adp->timeout 300
PARAM_VALUE 0 adp->unique_id 0-u16max
BUF_SIZE 0 adp 832
BUF_SIZE 0 adp->kioc_list 32768
BUF_SIZE 0 adp->mbox_list 2368
BUF_SIZE 0 adp->pdev (-1),1-s32max
BUF_SIZE 0 adp->pthru_dma_pool 192
CAPPED_DATA 0 adp->pthru_dma_pool->allocation 1
CAPPED_DATA 0 adp->pthru_dma_pool->boundary 1
CAPPED_DATA 0 adp->pthru_dma_pool->size 1
DATA_SOURCE 0 adp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 adp->pdev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 adp->max_kioc
HALF_LOCKED2 &pool->lock