Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/myrb.c myrb_exec_cmd() -> (struct myrb_hba)->qcmd()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->host->shost_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 cb->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 cmd_blk 4096-ptr_max
PARAM_VALUE 1 cmd_blk->completion 2778842082208215040
PARAM_VALUE 1 cmd_blk->mbox.type3D.id 0-1
PARAM_VALUE 1 cmd_blk->mbox.type3D.opcode 0,16,22,80
PARAM_VALUE 1 cmd_blk->mbox.type3D.state 0,3,16
BUF_SIZE 0 cb s32min-(-1),1-s32max
BUF_SIZE 0 cb s32min-(-1),1-s32max
BUF_SIZE 0 cb->pdev (-1),1-s32max
BUF_SIZE 1 cmd_blk 72
BUF_SIZE 1 cmd_blk->completion 96
DATA_SOURCE 0 cb $0
DATA_SOURCE 1 cmd_blk $1
FUZZY_MAX 1 cmd_blk->mbox.type3D.state 16
STR_LEN 0 cb->fw_version (-1),11
STR_LEN 0 cb->model_name (-1),8-10,16
CONTAINER 0 -336+0 $(-1)
HARD_MAX 1 cmd_blk->mbox.type3D.id 1
HARD_MAX 1 cmd_blk->mbox.type3D.opcode 80
HARD_MAX 1 cmd_blk->mbox.type3D.state 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 cb->pdev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 cb->cmd_mbox_size
NO_OVERFLOW_SIMPLE 0 cb->stat_mbox_size
LOCK2 flags
LOCK2 0 &cb->queue_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &cb->dcmd_mutex
HALF_LOCKED2 0 &cb->dma_mutex
TYPE_LOCK (struct myrb_hba)->queue_lock

drivers/scsi/myrb.c myrb_ldev_queuecommand() -> (struct myrb_hba)->qcmd()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->sg_pool 4096-ptr_max
PARAM_VALUE 0 cb->sg_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cb->sg_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 cb->sg_pool->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cb->sg_pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 cb->sg_pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cb->sg_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 cb->sg_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 cb->sg_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cb->sg_pool->next_block->next_block 0
PARAM_VALUE 0 cb->sg_pool->size 0-s32max
PARAM_VALUE 1 cmd_blk 4096-ptr_max
PARAM_VALUE 1 cmd_blk->mbox.common.id 0
PARAM_VALUE 1 cmd_blk->mbox.common.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type3.id 0
PARAM_VALUE 1 cmd_blk->mbox.type3.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3B.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type3B.id 0
PARAM_VALUE 1 cmd_blk->mbox.type3B.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3B.optype 0
PARAM_VALUE 1 cmd_blk->mbox.type3C.auto_restore 0
PARAM_VALUE 1 cmd_blk->mbox.type3C.id 0
PARAM_VALUE 1 cmd_blk->mbox.type3C.ldev_num 0
PARAM_VALUE 1 cmd_blk->mbox.type3C.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.channel 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.id 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.state 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.target 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.ev_seq 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.id 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.opqual 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.optype 0
PARAM_VALUE 1 cmd_blk->mbox.type3R.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type3R.id 0
PARAM_VALUE 1 cmd_blk->mbox.type3R.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3R.rbld_rate 0
PARAM_VALUE 1 cmd_blk->mbox.type4.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type4.id 0
PARAM_VALUE 1 cmd_blk->mbox.type4.lba 0
PARAM_VALUE 1 cmd_blk->mbox.type4.ldev_num 0
PARAM_VALUE 1 cmd_blk->mbox.type4.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type4.xfer_len 0
PARAM_VALUE 1 cmd_blk->mbox.type5.lba 0-2097151
PARAM_VALUE 1 cmd_blk->mbox.type5.ld.xfer_len 0-255
PARAM_VALUE 1 cmd_blk->mbox.type5.opcode 0,54-55,182-183
PARAM_VALUE 1 cmd_blk->mbox.type5.sg_count 18446744073709551604,0-63
PARAM_VALUE 1 cmd_blk->mbox.type5.sg_type 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.cmd_mbox_addr 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.id 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.opcode2 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.rsvd1 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.stat_mbox_addr 0
PARAM_VALUE 1 cmd_blk->sgl 4096-ptr_max
PARAM_VALUE 1 cmd_blk->status 0
CAPPED_DATA 0 cb->sg_pool->size 1
DATA_SOURCE 1 cmd_blk r scsi_cmd_priv
FUZZY_MAX 1 cmd_blk->mbox.type5.opcode 183
CONTAINER 0 -336+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &cb->queue_lock
HALF_LOCKED2 &sdev->state_mutex
TYPE_LOCK (struct myrb_hba)->queue_lock

drivers/scsi/myrb.c myrb_pthru_queuecommand() -> (struct myrb_hba)->qcmd()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->dcdb_pool 4096-ptr_max
PARAM_VALUE 0 cb->dcdb_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cb->dcdb_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 cb->dcdb_pool->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cb->dcdb_pool->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 cb->dcdb_pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cb->dcdb_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 cb->dcdb_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 cb->dcdb_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cb->dcdb_pool->next_block->next_block 0
PARAM_VALUE 0 cb->dcdb_pool->size 0-s32max
PARAM_VALUE 1 cmd_blk 4096-ptr_max
PARAM_VALUE 1 cmd_blk->mbox.common.id 0
PARAM_VALUE 1 cmd_blk->mbox.common.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3.opcode 4
PARAM_VALUE 1 cmd_blk->mbox.type3B.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type3B.id 0
PARAM_VALUE 1 cmd_blk->mbox.type3B.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3B.optype 0
PARAM_VALUE 1 cmd_blk->mbox.type3C.auto_restore 0
PARAM_VALUE 1 cmd_blk->mbox.type3C.id 0
PARAM_VALUE 1 cmd_blk->mbox.type3C.ldev_num 0
PARAM_VALUE 1 cmd_blk->mbox.type3C.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.channel 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.id 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.state 0
PARAM_VALUE 1 cmd_blk->mbox.type3D.target 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.ev_seq 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.id 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.opqual 0
PARAM_VALUE 1 cmd_blk->mbox.type3E.optype 0
PARAM_VALUE 1 cmd_blk->mbox.type3R.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type3R.id 0
PARAM_VALUE 1 cmd_blk->mbox.type3R.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type3R.rbld_rate 0
PARAM_VALUE 1 cmd_blk->mbox.type4.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type4.id 0
PARAM_VALUE 1 cmd_blk->mbox.type4.lba 0
PARAM_VALUE 1 cmd_blk->mbox.type4.ldev_num 0
PARAM_VALUE 1 cmd_blk->mbox.type4.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type4.xfer_len 0
PARAM_VALUE 1 cmd_blk->mbox.type5.addr 0
PARAM_VALUE 1 cmd_blk->mbox.type5.id 0
PARAM_VALUE 1 cmd_blk->mbox.type5.lba 0
PARAM_VALUE 1 cmd_blk->mbox.type5.ld.ldev_num 0
PARAM_VALUE 1 cmd_blk->mbox.type5.ld.xfer_len 0
PARAM_VALUE 1 cmd_blk->mbox.type5.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.type5.sg_count 0
PARAM_VALUE 1 cmd_blk->mbox.type5.sg_type 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.cmd_mbox_addr 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.id 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.opcode 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.opcode2 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.rsvd1 0
PARAM_VALUE 1 cmd_blk->mbox.typeX.stat_mbox_addr 0
PARAM_VALUE 1 cmd_blk->status 0
CAPPED_DATA 0 cb->dcdb_pool->size 1
DATA_SOURCE 1 cmd_blk r scsi_cmd_priv
CONTAINER 0 -336+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &cb->queue_lock
HALF_LOCKED2 &sdev->state_mutex
TYPE_LOCK (struct myrb_hba)->queue_lock