Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/myrs.c myrs_monitor() -> myrs_log_event()

Type Parameter Key Value
PARAM_VALUE 0 cs 4096-ptr_max
PARAM_VALUE 0 cs->fwstat_buf 4096-ptr_max
PARAM_VALUE 0 cs->mcmd_blk.complete 1900433888571883520
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.cdb_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.control.fua 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.control.rsvd1 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.control.rsvd2 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.dma_size 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.id 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.pdev.channel 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.pdev.ctlr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.pdev.lun 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.pdev.target 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.sense_addr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.sense_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.tmo.tmo_scale 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_10.tmo.tmo_val 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.cdb_addr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.cdb_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.control.fua 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.dma_size 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.id 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.pdev.channel 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.pdev.ctlr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.pdev.lun 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.pdev.target 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.rsvd 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.sense_addr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.sense_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.SCSI_255.tmo.tmo_val 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.control.fua 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.control.rsvd1 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.control.rsvd2 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.dma_addr.ext.rsvd 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.dma_num 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.dma_size 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.id 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.ioctl_opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.ldev.ctlr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.ldev.ldev_num 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.ldev.rsvd 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.rsvd1 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.sense_addr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.sense_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.tmo.tmo_scale 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.cc.tmo.tmo_val 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.common.control.fua 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.common.control.rsvd1 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.common.control.rsvd2 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.common.dma_num 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.common.rsvd1 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.common.sense_addr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.common.sense_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.common.tmo.tmo_scale 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.common.tmo.tmo_val 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ctlr_info.control.fua 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ctlr_info.ctlr_num 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ctlr_info.dma_num 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ctlr_info.dma_size 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ctlr_info.id 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ctlr_info.opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ctlr_info.rsvd1 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ctlr_info.sense_addr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ctlr_info.sense_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ctlr_info.tmo.tmo_val 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.control.fua 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.control.rsvd1 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.control.rsvd2 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.dma_num 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.dma_size 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.id 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.ioctl_opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.opdev 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.pdev.channel 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.pdev.ctlr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.pdev.lun 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.pdev.target 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.sense_addr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.sense_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.tmo.tmo_scale 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.dev_op.tmo.tmo_val 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.get_event.control.fua 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.get_event.ctlr_num 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.get_event.dma_num 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.get_event.dma_size 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.get_event.evnum_lower 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.get_event.evnum_upper 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.get_event.id 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.get_event.opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.get_event.sense_addr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.get_event.sense_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.get_event.tmo.tmo_val 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ldev_info.control.fua 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ldev_info.dma_num 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ldev_info.dma_size 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ldev_info.id 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ldev_info.ldev.ctlr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ldev_info.ldev.rsvd 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ldev_info.opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ldev_info.sense_addr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ldev_info.sense_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.ldev_info.tmo.tmo_val 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.pdev_info.control.fua 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.pdev_info.dma_num 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.pdev_info.dma_size 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.pdev_info.id 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.pdev_info.opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.pdev_info.pdev.ctlr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.pdev_info.pdev.lun 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.pdev_info.pdev.target 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.pdev_info.sense_addr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.pdev_info.sense_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.pdev_info.tmo.tmo_val 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_devstate.dma_num 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_devstate.dma_size 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_devstate.id 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_devstate.opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_devstate.pdev.lun 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_devstate.state 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_mbox.control.fua 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_mbox.id 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_mbox.ioctl_opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_mbox.opcode 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_mbox.rsvd1 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_mbox.rsvd2 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_mbox.sense_addr 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_mbox.sense_len 0
PARAM_VALUE 0 cs->mcmd_blk.mbox.set_mbox.tmo.tmo_val 0
PARAM_VALUE 0 cs->mcmd_blk.status 0
PARAM_VALUE 0 cs->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cs->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 cs->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 cs->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 cs->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 cs->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 cs->prev_cmd_mbox2 4096-ptr_max
PARAM_VALUE 0 cs->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cs->write_cmd_mbox 4096-ptr_max
CAPPED_DATA 0 cs->event_buf 1
CAPPED_DATA 1 ev 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock