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/initio.c initio_abort_srb() -> tulip_main()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->active 0
PARAM_VALUE 0 host->pci_dev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 host->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 host->pci_dev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 0 host->semaph 0
PARAM_VALUE 0 host->semaph_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 host $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->active->buflen 0-u32max
HOST_DATA 0 host->active->bufptr 0-u32max
HOST_DATA 0 host->active->cdblen 0-255
HOST_DATA 0 host->active->flags 0-255
HOST_DATA 0 host->active->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->active->ident 0-255
HOST_DATA 0 host->active->lun 0-255
HOST_DATA 0 host->active->mode 0-1
HOST_DATA 0 host->active->msgin 0
HOST_DATA 0 host->active->next_state 0-6,8
HOST_DATA 0 host->active->opcode 0-2
HOST_DATA 0 host->active->paddr 0
HOST_DATA 0 host->active->senselen 0,14
HOST_DATA 0 host->active->senseptr 0-u32max
HOST_DATA 0 host->active->sgidx 0-65534
HOST_DATA 0 host->active->sglen 0-255
HOST_DATA 0 host->active->sgmax 0-255
HOST_DATA 0 host->active->sgpaddr 0
HOST_DATA 0 host->active->status 0-255
HOST_DATA 0 host->active->tagid 0-31
HOST_DATA 0 host->active->tagmsg 0,32
HOST_DATA 0 host->active->target 0-255
HOST_DATA 0 host->active->tastat 0-255
HOST_DATA 0 host->active->totxlen 0
HOST_DATA 0 host->active->xferlen 0
HOST_DATA 0 host->addr 0-u16max
HOST_DATA 0 host->bios_addr 0-u16max
HOST_DATA 0 host->config 0-255
HOST_DATA 0 host->first_avail->buflen 0-u32max
HOST_DATA 0 host->first_avail->bufptr 0-u32max
HOST_DATA 0 host->first_avail->cdblen 0-255
HOST_DATA 0 host->first_avail->flags 0-255
HOST_DATA 0 host->first_avail->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->first_avail->ident 0-255
HOST_DATA 0 host->first_avail->lun 0-255
HOST_DATA 0 host->first_avail->mode 0-1
HOST_DATA 0 host->first_avail->next_state 0-6,8
HOST_DATA 0 host->first_avail->opcode 0-2
HOST_DATA 0 host->first_avail->senseptr 0-u32max
HOST_DATA 0 host->first_avail->sgidx 0-65534
HOST_DATA 0 host->first_avail->sglen 0-255
HOST_DATA 0 host->first_avail->target 0-255
HOST_DATA 0 host->first_avail->tastat 0-255
HOST_DATA 0 host->first_busy->buflen 0-u32max
HOST_DATA 0 host->first_busy->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->first_busy->mode 0-1
HOST_DATA 0 host->first_busy->msgin 0
HOST_DATA 0 host->first_busy->next_state 0-6,8
HOST_DATA 0 host->first_busy->opcode 0-2
HOST_DATA 0 host->first_busy->paddr 0
HOST_DATA 0 host->first_busy->senselen 0,14
HOST_DATA 0 host->first_busy->sgidx 0-65534
HOST_DATA 0 host->first_busy->sgmax 0-255
HOST_DATA 0 host->first_busy->sgpaddr 0
HOST_DATA 0 host->first_busy->tagid 0-31
HOST_DATA 0 host->first_busy->tagmsg 0,32
HOST_DATA 0 host->first_busy->tastat 0-255
HOST_DATA 0 host->first_busy->totxlen 0
HOST_DATA 0 host->first_busy->xferlen 0
HOST_DATA 0 host->first_done->buflen 0-u32max
HOST_DATA 0 host->first_done->bufptr 0-u32max
HOST_DATA 0 host->first_done->cdblen 0-255
HOST_DATA 0 host->first_done->flags 0-255
HOST_DATA 0 host->first_done->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->first_done->ident 0-255
HOST_DATA 0 host->first_done->lun 0-255
HOST_DATA 0 host->first_done->mode 0-1
HOST_DATA 0 host->first_done->msgin 0
HOST_DATA 0 host->first_done->next_state 0-6,8
HOST_DATA 0 host->first_done->opcode 0-2
HOST_DATA 0 host->first_done->paddr 0
HOST_DATA 0 host->first_done->senselen 0,14
HOST_DATA 0 host->first_done->senseptr 0-u32max
HOST_DATA 0 host->first_done->sgidx 0-65534
HOST_DATA 0 host->first_done->sglen 0-255
HOST_DATA 0 host->first_done->sgmax 0-255
HOST_DATA 0 host->first_done->sgpaddr 0
HOST_DATA 0 host->first_done->tagid 0-31
HOST_DATA 0 host->first_done->tagmsg 0,32
HOST_DATA 0 host->first_done->target 0-255
HOST_DATA 0 host->first_done->tastat 0-255
HOST_DATA 0 host->first_done->totxlen 0
HOST_DATA 0 host->first_done->xferlen 0
HOST_DATA 0 host->first_pending->buflen 0-u32max
HOST_DATA 0 host->first_pending->bufptr 0-u32max
HOST_DATA 0 host->first_pending->cdblen 0-255
HOST_DATA 0 host->first_pending->flags 0-255
HOST_DATA 0 host->first_pending->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->first_pending->ident 0-255
HOST_DATA 0 host->first_pending->lun 0-255
HOST_DATA 0 host->first_pending->mode 0-1
HOST_DATA 0 host->first_pending->msgin 0
HOST_DATA 0 host->first_pending->next_state 0-6,8
HOST_DATA 0 host->first_pending->opcode 0-2
HOST_DATA 0 host->first_pending->paddr 0
HOST_DATA 0 host->first_pending->senselen 0,14
HOST_DATA 0 host->first_pending->senseptr 0-u32max
HOST_DATA 0 host->first_pending->sgidx 0-65534
HOST_DATA 0 host->first_pending->sglen 0-255
HOST_DATA 0 host->first_pending->sgmax 0-255
HOST_DATA 0 host->first_pending->sgpaddr 0
HOST_DATA 0 host->first_pending->tagid 0-31
HOST_DATA 0 host->first_pending->tagmsg 0,32
HOST_DATA 0 host->first_pending->target 0-255
HOST_DATA 0 host->first_pending->totxlen 0
HOST_DATA 0 host->first_pending->xferlen 0
HOST_DATA 0 host->flags 0-255
HOST_DATA 0 host->ha_id 0-255
HOST_DATA 0 host->idmask 0-u16max
HOST_DATA 0 host->index 0-255
HOST_DATA 0 host->irq 0-255
HOST_DATA 0 host->jsint 0-255
HOST_DATA 0 host->jsstatus0 0-255
HOST_DATA 0 host->jsstatus1 0-255
HOST_DATA 0 host->last_avail->buflen 0-u32max
HOST_DATA 0 host->last_avail->bufptr 0-u32max
HOST_DATA 0 host->last_avail->cdblen 0-255
HOST_DATA 0 host->last_avail->flags 0-255
HOST_DATA 0 host->last_avail->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->last_avail->ident 0-255
HOST_DATA 0 host->last_avail->lun 0-255
HOST_DATA 0 host->last_avail->mode 0-1
HOST_DATA 0 host->last_avail->next->buflen 0-u32max
HOST_DATA 0 host->last_avail->next->bufptr 0-u32max
HOST_DATA 0 host->last_avail->next->cdblen 0-255
HOST_DATA 0 host->last_avail->next->flags 0-255
HOST_DATA 0 host->last_avail->next->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->last_avail->next->ident 0-255
HOST_DATA 0 host->last_avail->next->lun 0-255
HOST_DATA 0 host->last_avail->next->mode 0-1
HOST_DATA 0 host->last_avail->next->next_state 0-6,8
HOST_DATA 0 host->last_avail->next->opcode 0-2
HOST_DATA 0 host->last_avail->next->senseptr 0-u32max
HOST_DATA 0 host->last_avail->next->sgidx 0-65534
HOST_DATA 0 host->last_avail->next->sglen 0-255
HOST_DATA 0 host->last_avail->next->target 0-255
HOST_DATA 0 host->last_avail->next->tastat 0-255
HOST_DATA 0 host->last_avail->next_state 0-6,8
HOST_DATA 0 host->last_avail->opcode 0-2
HOST_DATA 0 host->last_avail->senseptr 0-u32max
HOST_DATA 0 host->last_avail->sgidx 0-65534
HOST_DATA 0 host->last_avail->sglen 0-255
HOST_DATA 0 host->last_avail->target 0-255
HOST_DATA 0 host->last_avail->tastat 0-255
HOST_DATA 0 host->last_busy->buflen 0-u32max
HOST_DATA 0 host->last_busy->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->last_busy->mode 0-1
HOST_DATA 0 host->last_busy->msgin 0
HOST_DATA 0 host->last_busy->next->buflen 0-u32max
HOST_DATA 0 host->last_busy->next->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->last_busy->next->mode 0-1
HOST_DATA 0 host->last_busy->next->next_state 0-6,8
HOST_DATA 0 host->last_busy->next->opcode 0-2
HOST_DATA 0 host->last_busy->next->sgidx 0-65534
HOST_DATA 0 host->last_busy->next->tastat 0-255
HOST_DATA 0 host->last_busy->next_state 0-6,8
HOST_DATA 0 host->last_busy->opcode 0-2
HOST_DATA 0 host->last_busy->paddr 0
HOST_DATA 0 host->last_busy->senselen 0,14
HOST_DATA 0 host->last_busy->sgidx 0-65534
HOST_DATA 0 host->last_busy->sgmax 0-255
HOST_DATA 0 host->last_busy->sgpaddr 0
HOST_DATA 0 host->last_busy->tagid 0-31
HOST_DATA 0 host->last_busy->tagmsg 0,32
HOST_DATA 0 host->last_busy->tastat 0-255
HOST_DATA 0 host->last_busy->totxlen 0
HOST_DATA 0 host->last_busy->xferlen 0
HOST_DATA 0 host->last_done->buflen 0-u32max
HOST_DATA 0 host->last_done->bufptr 0-u32max
HOST_DATA 0 host->last_done->cdblen 0-255
HOST_DATA 0 host->last_done->flags 0-255
HOST_DATA 0 host->last_done->hastat 20
HOST_DATA 0 host->last_done->ident 0-255
HOST_DATA 0 host->last_done->lun 0-255
HOST_DATA 0 host->last_done->mode 0-1
HOST_DATA 0 host->last_done->msgin 0
HOST_DATA 0 host->last_done->next->buflen 0-u32max
HOST_DATA 0 host->last_done->next->bufptr 0-u32max
HOST_DATA 0 host->last_done->next->cdblen 0-255
HOST_DATA 0 host->last_done->next->flags 0-255
HOST_DATA 0 host->last_done->next->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->last_done->next->ident 0-255
HOST_DATA 0 host->last_done->next->lun 0-255
HOST_DATA 0 host->last_done->next->mode 0-1
HOST_DATA 0 host->last_done->next->msgin 0
HOST_DATA 0 host->last_done->next->next_state 0-6,8
HOST_DATA 0 host->last_done->next->opcode 0-2
HOST_DATA 0 host->last_done->next->paddr 0
HOST_DATA 0 host->last_done->next->senselen 0,14
HOST_DATA 0 host->last_done->next->senseptr 0-u32max
HOST_DATA 0 host->last_done->next->sgidx 0-65534
HOST_DATA 0 host->last_done->next->sglen 0-255
HOST_DATA 0 host->last_done->next->sgmax 0-255
HOST_DATA 0 host->last_done->next->sgpaddr 0
HOST_DATA 0 host->last_done->next->tagid 0-31
HOST_DATA 0 host->last_done->next->tagmsg 0,32
HOST_DATA 0 host->last_done->next->target 0-255
HOST_DATA 0 host->last_done->next->tastat 0-255
HOST_DATA 0 host->last_done->next->totxlen 0
HOST_DATA 0 host->last_done->next->xferlen 0
HOST_DATA 0 host->last_done->next_state 0-6,8
HOST_DATA 0 host->last_done->opcode 0-2
HOST_DATA 0 host->last_done->paddr 0
HOST_DATA 0 host->last_done->senselen 0,14
HOST_DATA 0 host->last_done->senseptr 0-u32max
HOST_DATA 0 host->last_done->sgidx 0-65534
HOST_DATA 0 host->last_done->sglen 0-255
HOST_DATA 0 host->last_done->sgmax 0-255
HOST_DATA 0 host->last_done->sgpaddr 0
HOST_DATA 0 host->last_done->tagid 0-31
HOST_DATA 0 host->last_done->tagmsg 0,32
HOST_DATA 0 host->last_done->target 0-255
HOST_DATA 0 host->last_done->tastat 0-255
HOST_DATA 0 host->last_done->totxlen 0
HOST_DATA 0 host->last_done->xferlen 0
HOST_DATA 0 host->last_pending->buflen 0-u32max
HOST_DATA 0 host->last_pending->bufptr 0-u32max
HOST_DATA 0 host->last_pending->cdblen 0-255
HOST_DATA 0 host->last_pending->flags 0-255
HOST_DATA 0 host->last_pending->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->last_pending->ident 0-255
HOST_DATA 0 host->last_pending->lun 0-255
HOST_DATA 0 host->last_pending->mode 0-1
HOST_DATA 0 host->last_pending->msgin 0
HOST_DATA 0 host->last_pending->next->buflen 0-u32max
HOST_DATA 0 host->last_pending->next->bufptr 0-u32max
HOST_DATA 0 host->last_pending->next->cdblen 0-255
HOST_DATA 0 host->last_pending->next->flags 0-255
HOST_DATA 0 host->last_pending->next->hastat 0,3,5,7-8,17-20,22,26
HOST_DATA 0 host->last_pending->next->ident 0-255
HOST_DATA 0 host->last_pending->next->lun 0-255
HOST_DATA 0 host->last_pending->next->mode 0-1
HOST_DATA 0 host->last_pending->next->msgin 0
HOST_DATA 0 host->last_pending->next->next_state 0-6,8
HOST_DATA 0 host->last_pending->next->opcode 0-2
HOST_DATA 0 host->last_pending->next->paddr 0
HOST_DATA 0 host->last_pending->next->senselen 0,14
HOST_DATA 0 host->last_pending->next->senseptr 0-u32max
HOST_DATA 0 host->last_pending->next->sgidx 0-65534
HOST_DATA 0 host->last_pending->next->sglen 0-255
HOST_DATA 0 host->last_pending->next->sgmax 0-255
HOST_DATA 0 host->last_pending->next->sgpaddr 0
HOST_DATA 0 host->last_pending->next->tagid 0-31
HOST_DATA 0 host->last_pending->next->tagmsg 0,32
HOST_DATA 0 host->last_pending->next->target 0-255
HOST_DATA 0 host->last_pending->next->totxlen 0
HOST_DATA 0 host->last_pending->next->xferlen 0
HOST_DATA 0 host->last_pending->next_state 0-6,8
HOST_DATA 0 host->last_pending->opcode 0-2
HOST_DATA 0 host->last_pending->paddr 0
HOST_DATA 0 host->last_pending->senselen 0,14
HOST_DATA 0 host->last_pending->senseptr 0-u32max
HOST_DATA 0 host->last_pending->sgidx 0-65534
HOST_DATA 0 host->last_pending->sglen 0-255
HOST_DATA 0 host->last_pending->sgmax 0-255
HOST_DATA 0 host->last_pending->sgpaddr 0
HOST_DATA 0 host->last_pending->tagid 0-31
HOST_DATA 0 host->last_pending->tagmsg 0,32
HOST_DATA 0 host->last_pending->target 0-255
HOST_DATA 0 host->last_pending->totxlen 0
HOST_DATA 0 host->last_pending->xferlen 0
HOST_DATA 0 host->max_tar 0-255
HOST_DATA 0 host->num_scbs 0-255
HOST_DATA 0 host->phase 0-255
HOST_DATA 0 host->sconf1 0-255
HOST_DATA 0 host->scsi_id 0-255
HOST_DATA 0 host->semaph 0
NO_OVERFLOW_SIMPLE 0 host->active->sglen
NO_OVERFLOW_SIMPLE 0 host->active->sgmax
NO_OVERFLOW_SIMPLE 0 host->first_avail->sglen
NO_OVERFLOW_SIMPLE 0 host->first_avail->sgmax
NO_OVERFLOW_SIMPLE 0 host->first_busy->sglen
NO_OVERFLOW_SIMPLE 0 host->first_done->sglen
NO_OVERFLOW_SIMPLE 0 host->first_done->sgmax
NO_OVERFLOW_SIMPLE 0 host->first_pending->sglen
NO_OVERFLOW_SIMPLE 0 host->first_pending->sgmax
NO_OVERFLOW_SIMPLE 0 host->last_avail->next->sglen
NO_OVERFLOW_SIMPLE 0 host->last_avail->next->sgmax
NO_OVERFLOW_SIMPLE 0 host->last_avail->sglen
NO_OVERFLOW_SIMPLE 0 host->last_avail->sgmax
NO_OVERFLOW_SIMPLE 0 host->last_busy->next->sglen
NO_OVERFLOW_SIMPLE 0 host->last_done->next->sglen
NO_OVERFLOW_SIMPLE 0 host->last_done->next->sgmax
NO_OVERFLOW_SIMPLE 0 host->last_done->sglen
NO_OVERFLOW_SIMPLE 0 host->last_done->sgmax
NO_OVERFLOW_SIMPLE 0 host->last_pending->next->sglen
NO_OVERFLOW_SIMPLE 0 host->last_pending->next->sgmax
NO_OVERFLOW_SIMPLE 0 host->last_pending->sglen
NO_OVERFLOW_SIMPLE 0 host->last_pending->sgmax
HALF_LOCKED2 dev->host_lock
HALF_LOCKED2 irq_flags
HALF_LOCKED2 shost->host_lock

drivers/scsi/initio.c initio_exec_scb() -> tulip_main()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->avail_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->first_avail->next 0
PARAM_VALUE 0 host->first_avail->status 1
PARAM_VALUE 0 host->first_pending 4096-ptr_max
PARAM_VALUE 0 host->first_pending->next 0
PARAM_VALUE 0 host->first_pending->status 2
PARAM_VALUE 0 host->last_avail 0
PARAM_VALUE 0 host->last_pending 4096-ptr_max
PARAM_VALUE 0 host->last_pending->next 0
PARAM_VALUE 0 host->last_pending->next->status 2
PARAM_VALUE 0 host->last_pending->status 2
PARAM_VALUE 0 host->semaph 0
PARAM_VALUE 0 host->semaph_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 host $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->first_pending->sglen
NO_OVERFLOW_SIMPLE 0 host->first_pending->sgmax
NO_OVERFLOW_SIMPLE 0 host->last_pending->next->sglen
NO_OVERFLOW_SIMPLE 0 host->last_pending->next->sgmax
NO_OVERFLOW_SIMPLE 0 host->last_pending->sglen
NO_OVERFLOW_SIMPLE 0 host->last_pending->sgmax
LOCK2 irq_flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/initio.c initio_isr() -> tulip_main()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->semaph 0
DATA_SOURCE 0 host $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 dev->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq