Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/ips.c ips_cleanup_passthru() -> ips_free_flash_copperhead()

Type Parameter Key Value
PARAM_VALUE 0 ha 4096-ptr_max
PARAM_VALUE 0 ha->active 1-255
PARAM_VALUE 0 ha->func.enableint 0,1887620655609659392,7467391123519000576,9039722099302535168
PARAM_VALUE 0 ha->func.erasebios 8521708535357030400,9039160351853096960
PARAM_VALUE 0 ha->func.init 0,4096-ptr_max
PARAM_VALUE 0 ha->func.intr 4096-ptr_max
PARAM_VALUE 0 ha->func.isintr 4096-ptr_max
PARAM_VALUE 0 ha->func.programbios 2071987660690894848,2261756633747857408
PARAM_VALUE 0 ha->func.reset 0,4096-ptr_max
PARAM_VALUE 0 ha->func.statinit 0,2762502874128011264,8866598078378291200
PARAM_VALUE 0 ha->func.statupd 2794156857534599168,7442630011027259392,8365288440458280960
PARAM_VALUE 0 ha->func.verifybios 513034277560872960,713194426613202944
PARAM_VALUE 0 ha->ioctl_data 4096-ptr_max
PARAM_VALUE 0 ha->pcidev 4096-ptr_max
PARAM_VALUE 0 ha->pcidev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 ha->pcidev->device 46
PARAM_VALUE 0 ha->sp.residue_len 0
PARAM_VALUE 0 ha->sp.scb_addr 4096-ptr_max
PARAM_VALUE 0 *ha->dcdb_active 0-4294967295
DATA_SOURCE 0 ha $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->breakup
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->sg_count
HALF_LOCKED2 host->host_lock

drivers/scsi/ips.c ips_flash_bios() -> ips_free_flash_copperhead()

Type Parameter Key Value
PARAM_VALUE 0 ha 4096-ptr_max
PARAM_VALUE 0 ha->active 1-255
PARAM_VALUE 0 ha->copp_waitlist.head->next 0
PARAM_VALUE 0 ha->dummy->cccr 0
PARAM_VALUE 0 ha->dummy->ccsar 0
PARAM_VALUE 0 ha->dummy->command_id 128
PARAM_VALUE 0 ha->dummy->enhanced_sg 0
PARAM_VALUE 0 ha->dummy->lba 0
PARAM_VALUE 0 ha->dummy->log_drv 0
PARAM_VALUE 0 ha->dummy->op_code 255
PARAM_VALUE 0 ha->dummy->sector_count 0
PARAM_VALUE 0 ha->dummy->segment_4G 0
PARAM_VALUE 0 ha->dummy->sg_addr 0
PARAM_VALUE 0 ha->dummy->sg_count 0
PARAM_VALUE 0 ha->flash_data 4096-ptr_max
PARAM_VALUE 0 ha->flash_datasize 195-2147483839
PARAM_VALUE 0 ha->func.enableint 0,4096-ptr_max
PARAM_VALUE 0 ha->func.erasebios 4096-ptr_max
PARAM_VALUE 0 ha->func.init 4096-ptr_max
PARAM_VALUE 0 ha->func.intr 4096-ptr_max
PARAM_VALUE 0 ha->func.isintr 4096-ptr_max
PARAM_VALUE 0 ha->func.issue 0,4096-ptr_max
PARAM_VALUE 0 ha->func.programbios 4096-ptr_max
PARAM_VALUE 0 ha->func.reset 4096-ptr_max
PARAM_VALUE 0 ha->func.statinit 0,4096-ptr_max
PARAM_VALUE 0 ha->func.statupd 4096-ptr_max
PARAM_VALUE 0 ha->func.verifybios 4096-ptr_max
PARAM_VALUE 0 ha->ioctl_data 4096-ptr_max
PARAM_VALUE 0 ha->ioctl_data->CoppCP.cmd.flashfw.op_code 34
PARAM_VALUE 0 ha->ioctl_datasize 240-u32max
PARAM_VALUE 0 ha->pcidev 4096-ptr_max
PARAM_VALUE 0 ha->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ha->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ha->pcidev->device 46
PARAM_VALUE 0 ha->sp.residue_len 0
PARAM_VALUE 0 ha->subsys 4096-ptr_max
PARAM_VALUE 0 ha->subsys->param 4096-ptr_max
PARAM_VALUE 0 *ha->dcdb_active 0-4294967295
CAPPED_DATA 0 ha->ioctl_datasize 1
DATA_SOURCE 0 ha $0
BIT_INFO 0 ha->ioctl_datasize 0x0,0x7fffffff
MEM_ZERO 0 ha->dummy
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ha->ioctl_datasize
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->breakup
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->sg_count
HALF_LOCKED2 irq_flags
HALF_LOCKED2 shost->host_lock

drivers/scsi/ips.c ips_flash_bios() -> ips_free_flash_copperhead()

Type Parameter Key Value
PARAM_VALUE 0 ha 4096-ptr_max
PARAM_VALUE 0 ha->active 1-255
PARAM_VALUE 0 ha->copp_waitlist.head->next 0
PARAM_VALUE 0 ha->dummy->cccr 0
PARAM_VALUE 0 ha->dummy->ccsar 0
PARAM_VALUE 0 ha->dummy->command_id 128
PARAM_VALUE 0 ha->dummy->enhanced_sg 0
PARAM_VALUE 0 ha->dummy->lba 0
PARAM_VALUE 0 ha->dummy->log_drv 0
PARAM_VALUE 0 ha->dummy->op_code 255
PARAM_VALUE 0 ha->dummy->sector_count 0
PARAM_VALUE 0 ha->dummy->segment_4G 0
PARAM_VALUE 0 ha->dummy->sg_addr 0
PARAM_VALUE 0 ha->dummy->sg_count 0
PARAM_VALUE 0 ha->func.enableint 0,4096-ptr_max
PARAM_VALUE 0 ha->func.erasebios 4096-ptr_max
PARAM_VALUE 0 ha->func.init 4096-ptr_max
PARAM_VALUE 0 ha->func.intr 4096-ptr_max
PARAM_VALUE 0 ha->func.isintr 4096-ptr_max
PARAM_VALUE 0 ha->func.issue 0,4096-ptr_max
PARAM_VALUE 0 ha->func.programbios 4096-ptr_max
PARAM_VALUE 0 ha->func.reset 4096-ptr_max
PARAM_VALUE 0 ha->func.statinit 0,4096-ptr_max
PARAM_VALUE 0 ha->func.statupd 4096-ptr_max
PARAM_VALUE 0 ha->func.verifybios 4096-ptr_max
PARAM_VALUE 0 ha->ioctl_data 4096-ptr_max
PARAM_VALUE 0 ha->ioctl_data->CoppCP.cmd.flashfw.op_code 34
PARAM_VALUE 0 ha->ioctl_datasize 240-u32max
PARAM_VALUE 0 ha->pcidev 4096-ptr_max
PARAM_VALUE 0 ha->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ha->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ha->pcidev->device 46
PARAM_VALUE 0 ha->sp.residue_len 0
PARAM_VALUE 0 ha->subsys 4096-ptr_max
PARAM_VALUE 0 ha->subsys->param 4096-ptr_max
PARAM_VALUE 0 *ha->dcdb_active 0-4294967295
CAPPED_DATA 0 ha->ioctl_datasize 1
DATA_SOURCE 0 ha $0
BIT_INFO 0 ha->ioctl_datasize 0x0,0x7fffffff
MEM_ZERO 0 ha->dummy
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ha->ioctl_datasize
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->breakup
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->sg_count
HALF_LOCKED2 irq_flags
HALF_LOCKED2 shost->host_lock

drivers/scsi/ips.c ips_flash_copperhead() -> ips_free_flash_copperhead()

Type Parameter Key Value
PARAM_VALUE 0 ha 4096-ptr_max
PARAM_VALUE 0 ha->active 1-255
PARAM_VALUE 0 ha->copp_waitlist.head->next 0
PARAM_VALUE 0 ha->dummy->cccr 0
PARAM_VALUE 0 ha->dummy->ccsar 0
PARAM_VALUE 0 ha->dummy->command_id 128
PARAM_VALUE 0 ha->dummy->enhanced_sg 0
PARAM_VALUE 0 ha->dummy->lba 0
PARAM_VALUE 0 ha->dummy->log_drv 0
PARAM_VALUE 0 ha->dummy->op_code 255
PARAM_VALUE 0 ha->dummy->sector_count 0
PARAM_VALUE 0 ha->dummy->segment_4G 0
PARAM_VALUE 0 ha->dummy->sg_addr 0
PARAM_VALUE 0 ha->dummy->sg_count 0
PARAM_VALUE 0 ha->flash_len s32min-(-2),0-s32max
PARAM_VALUE 0 ha->func.erasebios 4096-ptr_max
PARAM_VALUE 0 ha->func.intr 4096-ptr_max
PARAM_VALUE 0 ha->func.isintr 4096-ptr_max
PARAM_VALUE 0 ha->func.issue 4096-ptr_max
PARAM_VALUE 0 ha->func.programbios 4096-ptr_max
PARAM_VALUE 0 ha->func.reset 4096-ptr_max
PARAM_VALUE 0 ha->func.verifybios 4096-ptr_max
PARAM_VALUE 0 ha->ioctl_data 4096-ptr_max
PARAM_VALUE 0 ha->ioctl_data->CoppCP.cmd.flashfw.op_code 34
PARAM_VALUE 0 ha->ioctl_datasize 240-u32max
PARAM_VALUE 0 ha->pcidev 4096-ptr_max
PARAM_VALUE 0 ha->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ha->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ha->pcidev->device 46
PARAM_VALUE 0 ha->scb_freelist->basic_status 0
PARAM_VALUE 0 ha->scb_freelist->breakup 0
PARAM_VALUE 0 ha->scb_freelist->bus 0
PARAM_VALUE 0 ha->scb_freelist->callback 0
PARAM_VALUE 0 ha->scb_freelist->cmd.basic_io.cccr 16
PARAM_VALUE 0 ha->scb_freelist->cmd.basic_io.lba 0
PARAM_VALUE 0 ha->scb_freelist->cmd.basic_io.log_drv 0
PARAM_VALUE 0 ha->scb_freelist->cmd.basic_io.op_code 0
PARAM_VALUE 0 ha->scb_freelist->cmd.basic_io.sg_addr 0
PARAM_VALUE 0 ha->scb_freelist->cmd.basic_io.sg_count 0
PARAM_VALUE 0 ha->scb_freelist->cmd.config_sync.cccr 0
PARAM_VALUE 0 ha->scb_freelist->cmd.config_sync.ccsar 0
PARAM_VALUE 0 ha->scb_freelist->cmd.dcdb.cccr 0
PARAM_VALUE 0 ha->scb_freelist->cmd.dcdb.ccsar 0
PARAM_VALUE 0 ha->scb_freelist->cmd.dcdb.command_id 0
PARAM_VALUE 0 ha->scb_freelist->cmd.dcdb.dcdb_address 0
PARAM_VALUE 0 ha->scb_freelist->cmd.dcdb.enhanced_sg 0
PARAM_VALUE 0 ha->scb_freelist->cmd.dcdb.op_code 0
PARAM_VALUE 0 ha->scb_freelist->cmd.dcdb.reserved 0
PARAM_VALUE 0 ha->scb_freelist->cmd.dcdb.reserved2 0
PARAM_VALUE 0 ha->scb_freelist->cmd.dcdb.reserved3 0
PARAM_VALUE 0 ha->scb_freelist->cmd.dcdb.segment_4G 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.command_id 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.day 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.hour 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.minute 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.month 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.op_code 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.reserved2 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.reset_count 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.reset_type 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.second 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.yearH 0
PARAM_VALUE 0 ha->scb_freelist->cmd.ffdc.yearL 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flashbios.count 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flashbios.offset 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flashbios.op_code 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flashbios.type 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flashfw.count 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flashfw.direction 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flashfw.op_code 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flashfw.reserved 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flashfw.type 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flush_cache.cccr 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flush_cache.ccsar 0
PARAM_VALUE 0 ha->scb_freelist->cmd.flush_cache.state 0
PARAM_VALUE 0 ha->scb_freelist->cmd.logical_info.cccr 0
PARAM_VALUE 0 ha->scb_freelist->cmd.nvram.buffer_addr 0
PARAM_VALUE 0 ha->scb_freelist->cmd.nvram.cccr 0
PARAM_VALUE 0 ha->scb_freelist->cmd.nvram.ccsar 0
PARAM_VALUE 0 ha->scb_freelist->cmd.nvram.command_id 0
PARAM_VALUE 0 ha->scb_freelist->cmd.nvram.op_code 0
PARAM_VALUE 0 ha->scb_freelist->cmd.nvram.page 0
PARAM_VALUE 0 ha->scb_freelist->cmd.nvram.reserved 0
PARAM_VALUE 0 ha->scb_freelist->cmd.nvram.reserved2 0
PARAM_VALUE 0 ha->scb_freelist->cmd.nvram.write 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.channel 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.command_id 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.op_code 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved10 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved11 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved12 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved13 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved14 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved3 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved4 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved5 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved6 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved7 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved8 0
PARAM_VALUE 0 ha->scb_freelist->cmd.reset.reserved9 0
PARAM_VALUE 0 ha->scb_freelist->cmd.status.cccr 0
PARAM_VALUE 0 ha->scb_freelist->cmd.status.ccsar 0
PARAM_VALUE 0 ha->scb_freelist->cmd.status.command_id 0
PARAM_VALUE 0 ha->scb_freelist->cmd.status.desc 0
PARAM_VALUE 0 ha->scb_freelist->cmd.status.op_code 0
PARAM_VALUE 0 ha->scb_freelist->cmd.status.reserved 0
PARAM_VALUE 0 ha->scb_freelist->cmd.status.reserved2 0
PARAM_VALUE 0 ha->scb_freelist->cmd.status.reserved3 0
PARAM_VALUE 0 ha->scb_freelist->data_busaddr 0
PARAM_VALUE 0 ha->scb_freelist->data_len 0
PARAM_VALUE 0 ha->scb_freelist->dcdb.buffer_pointer 0
PARAM_VALUE 0 ha->scb_freelist->dcdb.cdb_length 0
PARAM_VALUE 0 ha->scb_freelist->dcdb.cmd_attribute 0
PARAM_VALUE 0 ha->scb_freelist->dcdb.device_address 0
PARAM_VALUE 0 ha->scb_freelist->dcdb.reserved 0
PARAM_VALUE 0 ha->scb_freelist->dcdb.scsi_status 0
PARAM_VALUE 0 ha->scb_freelist->dcdb.sense_length 0
PARAM_VALUE 0 ha->scb_freelist->dcdb.sg_count 0
PARAM_VALUE 0 ha->scb_freelist->dcdb.transfer_length 0
PARAM_VALUE 0 ha->scb_freelist->extended_status 0
PARAM_VALUE 0 ha->scb_freelist->flags 0
PARAM_VALUE 0 ha->scb_freelist->lun 0
PARAM_VALUE 0 ha->scb_freelist->old_data_busaddr 0
PARAM_VALUE 0 ha->scb_freelist->op_code 0
PARAM_VALUE 0 ha->scb_freelist->q_next 0
PARAM_VALUE 0 ha->scb_freelist->scsi_cmd 0
PARAM_VALUE 0 ha->scb_freelist->sg_break 0
PARAM_VALUE 0 ha->scb_freelist->sg_count 0
PARAM_VALUE 0 ha->scb_freelist->sg_len 0
PARAM_VALUE 0 ha->scb_freelist->sg_list.enh_list 0
PARAM_VALUE 0 ha->scb_freelist->sg_list.std_list 0
PARAM_VALUE 0 ha->scb_freelist->target_id 0
PARAM_VALUE 0 ha->scb_freelist->timeout 0
PARAM_VALUE 0 ha->sp.residue_len 0
PARAM_VALUE 0 ha->subsys 4096-ptr_max
PARAM_VALUE 0 ha->subsys->param 4096-ptr_max
PARAM_VALUE 0 *ha->dcdb_active 0-4294967295
CAPPED_DATA 0 ha->flash_len 1
CAPPED_DATA 0 ha->ioctl_datasize 1
DATA_SOURCE 0 ha $0
BIT_INFO 0 ha->ioctl_datasize 0x0,0x7fffffff
MEM_ZERO 0 ha->dummy
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ha->ioctl_datasize
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->breakup
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->sg_count
HALF_LOCKED2 irq_flags
HALF_LOCKED2 shost->host_lock

drivers/scsi/ips.c ips_flash_firmware() -> ips_free_flash_copperhead()

Type Parameter Key Value
PARAM_VALUE 0 ha 4096-ptr_max
PARAM_VALUE 0 ha->active 1-255
PARAM_VALUE 0 ha->copp_waitlist.head->next 0
PARAM_VALUE 0 ha->dummy->cccr 0
PARAM_VALUE 0 ha->dummy->ccsar 0
PARAM_VALUE 0 ha->dummy->command_id 128
PARAM_VALUE 0 ha->dummy->enhanced_sg 0
PARAM_VALUE 0 ha->dummy->lba 0
PARAM_VALUE 0 ha->dummy->log_drv 0
PARAM_VALUE 0 ha->dummy->op_code 255
PARAM_VALUE 0 ha->dummy->sector_count 0
PARAM_VALUE 0 ha->dummy->segment_4G 0
PARAM_VALUE 0 ha->dummy->sg_addr 0
PARAM_VALUE 0 ha->dummy->sg_count 0
PARAM_VALUE 0 ha->flash_data 4096-ptr_max
PARAM_VALUE 0 ha->func.enableint 0,4096-ptr_max
PARAM_VALUE 0 ha->func.erasebios 4096-ptr_max
PARAM_VALUE 0 ha->func.init 4096-ptr_max
PARAM_VALUE 0 ha->func.intr 4096-ptr_max
PARAM_VALUE 0 ha->func.isintr 4096-ptr_max
PARAM_VALUE 0 ha->func.issue 0,4096-ptr_max
PARAM_VALUE 0 ha->func.programbios 4096-ptr_max
PARAM_VALUE 0 ha->func.reset 4096-ptr_max
PARAM_VALUE 0 ha->func.statinit 0,4096-ptr_max
PARAM_VALUE 0 ha->func.statupd 4096-ptr_max
PARAM_VALUE 0 ha->func.verifybios 4096-ptr_max
PARAM_VALUE 0 ha->ioctl_data 4096-ptr_max
PARAM_VALUE 0 ha->ioctl_data->CoppCP.cmd.flashfw.op_code 34
PARAM_VALUE 0 ha->ioctl_datasize 240-u32max
PARAM_VALUE 0 ha->pcidev 4096-ptr_max
PARAM_VALUE 0 ha->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ha->pcidev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ha->pcidev->device 46
PARAM_VALUE 0 ha->sp.residue_len 0
PARAM_VALUE 0 ha->subsys 4096-ptr_max
PARAM_VALUE 0 ha->subsys->param 4096-ptr_max
PARAM_VALUE 0 *ha->dcdb_active 0-4294967295
CAPPED_DATA 0 ha->ioctl_datasize 1
DATA_SOURCE 0 ha $0
BIT_INFO 0 ha->ioctl_datasize 0x0,0x7fffffff
MEM_ZERO 0 ha->dummy
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ha->ioctl_datasize
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->breakup
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->sg_count
HALF_LOCKED2 irq_flags
HALF_LOCKED2 shost->host_lock