Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/snic/vnic_dev.c svnic_dev_close() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->devcmd2->posted 0-4294967295
PARAM_VALUE 0 vdev->devcmd_rtn 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 cmd 114713
PARAM_VALUE 2 a0 4825685104902340608
PARAM_VALUE 2 *a0 0
PARAM_VALUE 3 a1 2530471677448814592
PARAM_VALUE 3 *a1 0
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vdev->pdev->current_state 0-3[c]

drivers/scsi/snic/vnic_dev.c svnic_dev_disable() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 cmd 114717
PARAM_VALUE 2 a0 104403182119497728
PARAM_VALUE 2 *a0 0
PARAM_VALUE 3 a1 1043351067650002944
PARAM_VALUE 3 *a1 0
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vdev->pdev->current_state 0-3[c]

drivers/scsi/snic/vnic_dev.c svnic_dev_enable_wait() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->devcmd2->color 0-1
PARAM_VALUE 0 vdev->devcmd2->posted 0-4294967295
PARAM_VALUE 0 vdev->devcmd_rtn 5059735672245080064
PARAM_VALUE 0 vdev->intr_mode 3
PARAM_VALUE 0 vdev->pdev 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->bus 4096-ptr_max
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.first_waiter->list.prev->prev 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 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vdev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 vdev->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 vdev->pdev->driver 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 vdev->pdev->is_busmaster 1
PARAM_VALUE 0 vdev->pdev->pcie_cap 0-1
PARAM_VALUE 0 vdev->priv 4096-ptr_max
PARAM_VALUE 1 cmd 1073856540
PARAM_VALUE 2 a0 4079843287246360576
PARAM_VALUE 2 *a0 0
PARAM_VALUE 3 a1 5688372334308474880
PARAM_VALUE 3 *a1 0
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vdev->pdev->current_state 0-3[c]

drivers/scsi/snic/vnic_dev.c svnic_dev_enable_wait() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->devcmd2->color 0-1
PARAM_VALUE 0 vdev->devcmd2->posted 0-4294967295
PARAM_VALUE 0 vdev->devcmd_rtn 5059735672245080064
PARAM_VALUE 0 vdev->intr_mode 3
PARAM_VALUE 0 vdev->pdev 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->bus 4096-ptr_max
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.first_waiter->list.prev->prev 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 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vdev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 vdev->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 vdev->pdev->driver 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 vdev->pdev->is_busmaster 1
PARAM_VALUE 0 vdev->pdev->pcie_cap 0-1
PARAM_VALUE 0 vdev->priv 4096-ptr_max
PARAM_VALUE 0 *vdev->devcmd_rtn 4096-ptr_max
PARAM_VALUE 1 cmd 1090633756
PARAM_VALUE 2 a0 4079843287246360576
PARAM_VALUE 2 *a0 0
PARAM_VALUE 3 a1 5688372334308474880
PARAM_VALUE 3 *a1 0
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vdev->devcmd2->posted 0-4294967294
HOST_DATA 0 vdev->pdev->current_state 0-3[c]

drivers/scsi/snic/vnic_dev.c svnic_dev_fw_info() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->fw_info 1-ptr_max
PARAM_VALUE 0 vdev->pdev 4096-ptr_max
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.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vdev->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vdev->pdev->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vdev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 vdev->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vdev->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vdev->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 vdev->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 1 cmd 1073856513
PARAM_VALUE 2 a0 1162965098659717120
PARAM_VALUE 3 a1 8138976707557588992
PARAM_VALUE 3 *a1 0
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev->fw_info 128
CAPPED_DATA 0 &vdev->pdev->dev 1
DATA_SOURCE 0 vdev $0
MEM_ZERO 0 vdev->fw_info

drivers/scsi/snic/vnic_dev.c svnic_dev_init() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->devcmd2->color 0-1
PARAM_VALUE 0 vdev->devcmd2->posted 0-4294967295
PARAM_VALUE 0 vdev->devcmd_rtn 5059735672245080064
PARAM_VALUE 0 vdev->pdev 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->bus 4096-ptr_max
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 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 vdev->pdev->driver 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 vdev->pdev->is_busmaster 1
PARAM_VALUE 0 vdev->pdev->pcie_cap 0-1
PARAM_VALUE 0 vdev->priv 4096-ptr_max
PARAM_VALUE 1 cmd 2164375578
PARAM_VALUE 2 a0 8021042134442008576
PARAM_VALUE 2 *a0 0
PARAM_VALUE 3 a1 1066947386448486400
PARAM_VALUE 3 *a1 0
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vdev->pdev->current_state 0-3[c]

drivers/scsi/snic/vnic_dev.c svnic_dev_notify_set() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->devcmd2->color 0-1
PARAM_VALUE 0 vdev->devcmd2->posted 0-4294967295
PARAM_VALUE 0 vdev->devcmd_rtn 5059735672245080064
PARAM_VALUE 0 vdev->intr_mode 3
PARAM_VALUE 0 vdev->notify 1-u64max
PARAM_VALUE 0 vdev->pdev->bus 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 vdev->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 vdev->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 vdev->pdev->driver 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 vdev->pdev->is_busmaster 1
PARAM_VALUE 0 vdev->pdev->pcie_cap 0-1
PARAM_VALUE 1 cmd 3221340181
PARAM_VALUE 2 a0 8525937925614088192
PARAM_VALUE 3 a1 5382200760825532416
PARAM_VALUE 3 *a1 8589934628
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev->notify 36,u64max
CAPPED_DATA 0 vdev->devcmd2->result_size 1
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/scsi/snic/vnic_dev.c svnic_dev_notify_unset() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->devcmd2->posted 0-4294967295
PARAM_VALUE 0 vdev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 cmd 3221340181
PARAM_VALUE 2 a0 2779746038999171072
PARAM_VALUE 2 *a0 0
PARAM_VALUE 3 a1 7043348684264935424
PARAM_VALUE 3 *a1 281470681743396
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vdev->pdev->current_state 0-3[c]

drivers/scsi/snic/vnic_dev.c svnic_dev_open() -> svnic_dev_cmd()

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 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 vdev->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 vdev->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 vdev->pdev->driver 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 vdev->pdev->is_busmaster 1
PARAM_VALUE 0 vdev->pdev->pcie_cap 0-1
PARAM_VALUE 1 cmd 1090633751
PARAM_VALUE 2 a0 459568007227633664
PARAM_VALUE 2 *a0 0
PARAM_VALUE 3 a1 2629925119814979584
PARAM_VALUE 3 *a1 0
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/scsi/snic/vnic_dev.c svnic_dev_open_done() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->devcmd2->color 0-1
PARAM_VALUE 0 vdev->devcmd2->posted 0-4294967295
PARAM_VALUE 0 vdev->devcmd_rtn 5059735672245080064
PARAM_VALUE 0 vdev->pdev->bus 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 vdev->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 vdev->pdev->driver 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 vdev->pdev->is_busmaster 1
PARAM_VALUE 0 vdev->pdev->pcie_cap 0-1
PARAM_VALUE 1 cmd 2147598360
PARAM_VALUE 2 a0 733596701776658432
PARAM_VALUE 2 *a0 0
PARAM_VALUE 3 a1 409979455665774592
PARAM_VALUE 3 *a1 0
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/scsi/snic/vnic_dev.c svnic_dev_spec() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->devcmd2->color 0-1
PARAM_VALUE 0 vdev->devcmd2->posted 0-4294967295
PARAM_VALUE 0 vdev->devcmd_rtn 5059735672245080064
PARAM_VALUE 0 vdev->pdev->bus 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 vdev->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 vdev->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 vdev->pdev->driver 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 vdev->pdev->is_busmaster 1
PARAM_VALUE 0 vdev->pdev->pcie_cap 0-1
PARAM_VALUE 1 cmd 3221340162
PARAM_VALUE 2 a0 6832739735856668672
PARAM_VALUE 2 *a0 0,4,8,12,16,20,24,26,28,30-31
PARAM_VALUE 3 a1 186983798323658752
PARAM_VALUE 3 *a1 1-2,4
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
CAPPED_DATA 0 vdev->devcmd2->result_size 1
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/scsi/snic/vnic_dev.c svnic_dev_stats_clear() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->devcmd2->color 0-1
PARAM_VALUE 0 vdev->devcmd2->posted 0-4294967295
PARAM_VALUE 0 vdev->devcmd_rtn 5059735672245080064
PARAM_VALUE 0 vdev->intr_mode 3
PARAM_VALUE 0 vdev->pdev->bus 4096-ptr_max
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.first_waiter->list.prev->prev 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 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vdev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 vdev->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 vdev->pdev->driver 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 vdev->pdev->is_busmaster 1
PARAM_VALUE 0 vdev->pdev->pcie_cap 0-1
PARAM_VALUE 1 cmd 16891907
PARAM_VALUE 2 a0 2650837745463242752
PARAM_VALUE 2 *a0 0
PARAM_VALUE 3 a1 5809998583342563328
PARAM_VALUE 3 *a1 0
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
CAPPED_DATA 0 vdev->devcmd2->result_size 1
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/scsi/snic/vnic_dev.c svnic_dev_stats_dump() -> svnic_dev_cmd()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->devcmd2->color 0-1
PARAM_VALUE 0 vdev->devcmd2->posted 0-4294967295
PARAM_VALUE 0 vdev->devcmd_rtn 5059735672245080064
PARAM_VALUE 0 vdev->intr_mode 3
PARAM_VALUE 0 vdev->pdev->bus 4096-ptr_max
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.first_waiter->list.prev->prev 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 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vdev->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 vdev->pdev->driver 4096-ptr_max
PARAM_VALUE 0 vdev->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 vdev->pdev->is_busmaster 1
PARAM_VALUE 0 vdev->pdev->pcie_cap 0-1
PARAM_VALUE 0 vdev->stats 1-u64max
PARAM_VALUE 1 cmd 1073856516
PARAM_VALUE 2 a0 8018298584946446336
PARAM_VALUE 3 a1 2802380797251391488
PARAM_VALUE 3 *a1 512
PARAM_VALUE 4 wait 10000
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev (-1),656
BUF_SIZE 0 vdev->stats 512,u64max
CAPPED_DATA 0 vdev->devcmd2->result_size 1
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock