Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->bgi_status_supported 1
PARAM_VALUE 0 cb->bus_width 8,16,32
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->enquiry 4096-ptr_max
PARAM_VALUE 0 cb->fw_version 4096-ptr_max
PARAM_VALUE 0 cb->host 4096-ptr_max
PARAM_VALUE 0 cb->host->can_queue 1,3-254
PARAM_VALUE 0 cb->host->host_lock->rlock.dep_map->name 0-255
PARAM_VALUE 0 cb->host->max_channel 0
PARAM_VALUE 0 cb->host->max_id 0
PARAM_VALUE 0 cb->host->max_sectors 0
PARAM_VALUE 0 cb->host->sg_tablesize 0,32
PARAM_VALUE 0 cb->host->shost_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 cb->ldev_block_size 0
PARAM_VALUE 0 cb->ldev_geom_heads 128,255
PARAM_VALUE 0 cb->ldev_geom_sectors 32,63
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->pdev->dev.iommu->pci_32bit_workaround 0
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 0 cb->segment_size 0
PARAM_VALUE 0 cb->stripe_size 0
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
FUZZY_MAX 0 cb->bus_width 32
FUZZY_MAX 0 cb->host->can_queue 254
FUZZY_MAX 0 cb->host->sg_tablesize 32
FUZZY_MAX 0 cb->ldev_geom_heads 255
FUZZY_MAX 0 cb->ldev_geom_sectors 63
STR_LEN 0 cb->fw_version 11
STR_LEN 0 cb->model_name 8-10,16
BIT_INFO 0 cb->bus_width 0x0,0x38
BIT_INFO 0 cb->ldev_geom_heads 0x80,0xff
BIT_INFO 0 cb->ldev_geom_sectors 0x20,0x3f
HARD_MAX 0 cb->bus_width 32
HARD_MAX 0 cb->host->can_queue 254
HARD_MAX 0 cb->ldev_geom_heads 255
HARD_MAX 0 cb->ldev_geom_sectors 63
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/myrb.c myrb_monitor() -> myrb_bgi_control()

Type Parameter Key Value
PARAM_VALUE 0 cb 4096-ptr_max
PARAM_VALUE 0 cb->need_bgi_status 0
PARAM_VALUE 0 cb->need_cc_status 0
PARAM_VALUE 0 cb->need_err_info 0
PARAM_VALUE 0 cb->need_ldev_info 0
PARAM_VALUE 0 cb->need_rbld 0
CAPPED_DATA 0 cb->new_ev_seq 1
PARAM_COMPARE 0 cb->new_ev_seq <= $0->old_ev_seq
NOCHECK_CALL
HALF_LOCKED2 &pool->lock