Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/snic/snic_main.c snic_dev_wait() -> snic_dev_wait param 1()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->devcmd2->color 0-1
PARAM_VALUE 0 vdev->devcmd_rtn 5059735672245080064
PARAM_VALUE 0 vdev->pdev->bus s64min-(-4096),4096-s64max
PARAM_VALUE 0 vdev->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vdev->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vdev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 vdev->pdev->dev.dma_mask s64min-(-4096),4096-s64max
PARAM_VALUE 0 vdev->pdev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 vdev->pdev->dev.driver_data s64min-(-4096),4096-s64max
PARAM_VALUE 0 vdev->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 vdev->pdev->driver s64min-(-4096),4096-s64max
PARAM_VALUE 0 vdev->pdev->error_state 0-2,4-4294967295
PARAM_VALUE 0 vdev->pdev->is_busmaster 1
PARAM_VALUE 0 vdev->pdev->pcie_cap 0-1
PARAM_VALUE 1 arg 0
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
DATA_SOURCE 0 vdev $0
DATA_SOURCE 1 arg $3
RX_PATH
TASK_NOT_RUNNING