Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/advansys.c AdvISR() -> adv_isr_callback()

Type Parameter Key Value
PARAM_VALUE 0 adv_dvc_varp 4096-ptr_max
PARAM_VALUE 0 adv_dvc_varp->carr_freelist 4096-ptr_max
PARAM_VALUE 0 adv_dvc_varp->carr_freelist->areq_vpa 0-255
PARAM_VALUE 0 adv_dvc_varp->irq_sp 4096-ptr_max
PARAM_VALUE 1 scsiqp 4096-ptr_max
PARAM_VALUE 1 scsiqp->cntl 0
BUF_SIZE 0 adv_dvc_varp (-1),112
BUF_SIZE 0 adv_dvc_varp (-1),112
BUF_SIZE 1 scsiqp 72
DATA_SOURCE 0 adv_dvc_varp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 adv_dvc_varp->bist_err_code 0-255
HOST_DATA 0 adv_dvc_varp->cfg->chip_version 0-255
HOST_DATA 0 adv_dvc_varp->cfg->control_flag 0-u16max
HOST_DATA 0 adv_dvc_varp->cfg->disc_enable 0-u16max
HOST_DATA 0 adv_dvc_varp->cfg->mcode_date 0-u16max
HOST_DATA 0 adv_dvc_varp->cfg->mcode_version 0-u16max
HOST_DATA 0 adv_dvc_varp->cfg->serial1 0-u16max
HOST_DATA 0 adv_dvc_varp->cfg->serial2 0-u16max
HOST_DATA 0 adv_dvc_varp->cfg->serial3 0-u16max
HOST_DATA 0 adv_dvc_varp->cfg->termination 0-255
HOST_DATA 0 *adv_dvc_varp->cfg s64min-s64max
LOCK2 shost->host_lock
HALF_LOCKED2 flags