Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/myrb.c flush_cache_store() -> myrb_exec_type3()

Type Parameter Key Value
PARAM_VALUE 1 op 10
PARAM_VALUE 2 addr 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/scsi/myrb.c myrb_get_hba_config() -> myrb_exec_type3()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->dcmd_blk.completion 2778842082208215040
PARAM_VALUE 0 cb->dcmd_blk.mbox.common.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.common.opcode 0,2-3,5,20,130-131
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3B.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3B.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3B.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3B.optype 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3C.auto_restore 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3C.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3C.ldev_num 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3C.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.channel 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.state 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.target 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.ev_seq 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.opqual 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.optype 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3R.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3R.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3R.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3R.rbld_rate 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.lba 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.ldev_num 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.xfer_len 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.lba 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.ld.ldev_num 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.ld.xfer_len 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.sg_count 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.sg_type 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.cmd_mbox_addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.opcode2 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.rsvd1 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.stat_mbox_addr 0
PARAM_VALUE 0 cb->dcmd_blk.status 0
PARAM_VALUE 0 cb->dcmd_mutex.dep_map->name 0-255
PARAM_VALUE 0 cb->dcmd_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cb->dcmd_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cb->dcmd_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 cb->dcmd_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 cb->dcmd_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cb->dma_mutex.dep_map->name 0-255
PARAM_VALUE 0 cb->dma_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cb->dma_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cb->dma_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 cb->dma_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 cb->dma_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 cb->dma_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 cb->dma_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 cb->dma_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cb->dma_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 cb->need_cc_status 1
PARAM_VALUE 0 cb->need_err_info 1
PARAM_VALUE 0 cb->need_ldev_info 1
PARAM_VALUE 0 cb->need_rbld 1
PARAM_VALUE 0 cb->pdev 4096-ptr_max
PARAM_VALUE 0 cb->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cb->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 cb->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cb->pdev->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cb->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 cb->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cb->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 cb->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 cb->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 cb->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cb->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 cb->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 cb->prev_cmd_mbox2 4096-ptr_max
PARAM_VALUE 0 cb->qcmd 4096-ptr_max
PARAM_VALUE 0 cb->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 op 28
CAPPED_DATA 0 cb->enquiry->ldev_count 1
CAPPED_DATA 0 cb->enquiry->ldev_critical 1
CAPPED_DATA 0 cb->enquiry->ldev_offline 1
CAPPED_DATA 0 &cb->dma_mutex 1
DATA_SOURCE 0 cb $0
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/myrb.c myrb_get_hba_config() -> myrb_exec_type3()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->dcmd_blk.completion 2778842082208215040
PARAM_VALUE 0 cb->dcmd_blk.mbox.common.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.common.opcode 0,2-3,5,20,130-131
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3B.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3B.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3B.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3B.optype 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3C.auto_restore 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3C.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3C.ldev_num 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3C.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.channel 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.state 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3D.target 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.ev_seq 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.opqual 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3E.optype 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3R.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3R.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3R.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type3R.rbld_rate 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.lba 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.ldev_num 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type4.xfer_len 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.lba 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.ld.ldev_num 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.ld.xfer_len 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.sg_count 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.type5.sg_type 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.cmd_mbox_addr 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.id 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.opcode 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.opcode2 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.rsvd1 0
PARAM_VALUE 0 cb->dcmd_blk.mbox.typeX.stat_mbox_addr 0
PARAM_VALUE 0 cb->dcmd_blk.status 0
PARAM_VALUE 0 cb->dcmd_mutex.dep_map->name 0-255
PARAM_VALUE 0 cb->dcmd_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cb->dcmd_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cb->dcmd_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 cb->dcmd_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 cb->dcmd_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cb->dma_mutex.dep_map->name 0-255
PARAM_VALUE 0 cb->dma_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cb->dma_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cb->dma_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 cb->dma_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 cb->dma_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 cb->dma_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 cb->dma_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 cb->dma_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cb->dma_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 cb->need_cc_status 1
PARAM_VALUE 0 cb->need_err_info 1
PARAM_VALUE 0 cb->need_ldev_info 1
PARAM_VALUE 0 cb->need_rbld 1
PARAM_VALUE 0 cb->pdev 4096-ptr_max
PARAM_VALUE 0 cb->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cb->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 cb->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cb->pdev->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cb->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 cb->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cb->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 cb->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 cb->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 cb->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cb->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 cb->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 cb->prev_cmd_mbox2 4096-ptr_max
PARAM_VALUE 0 cb->qcmd 4096-ptr_max
PARAM_VALUE 0 cb->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 op 61
CAPPED_DATA 0 cb->enquiry->ldev_count 1
CAPPED_DATA 0 cb->enquiry->ldev_critical 1
CAPPED_DATA 0 cb->enquiry->ldev_offline 1
CAPPED_DATA 0 &cb->dma_mutex 1
DATA_SOURCE 0 cb $0
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/myrb.c myrb_get_ldev_info() -> myrb_exec_type3()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->enquiry 4096-ptr_max
PARAM_VALUE 0 cb->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 op 25
BUF_SIZE 0 cb->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 cb $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 cb->pdev->current_state 0-3[c]
HALF_LOCKED2 &pool->lock

drivers/scsi/myrb.c myrb_hba_enquiry() -> myrb_exec_type3()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->dma_mutex.dep_map->name 0-255
PARAM_VALUE 0 cb->dma_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cb->dma_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cb->dma_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cb->dma_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 cb->dma_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 cb->dma_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 cb->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 op 83
BUF_SIZE 0 cb->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 cb $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 cb->pdev->current_state 0-3[c]
LOCK2 0 &cb->dma_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct myrb_hba)->dma_mutex

drivers/scsi/myrb.c myrb_remove() -> myrb_exec_type3()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 1 op 10
PARAM_VALUE 2 addr 0
BUF_SIZE 0 cb s32min-(-2),1-s32max
BUF_SIZE 0 cb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 cb unit_byte