Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 adv_dvc 4096-ptr_max
PARAM_VALUE 0 adv_dvc->irq_sp 4096-ptr_max
PARAM_VALUE 0 adv_dvc->irq_sp->areq_vpa 0-255
PARAM_VALUE 1 offset 0,16-u32max
BUF_SIZE 0 adv_dvc (-1),112
BUF_SIZE 0 adv_dvc (-1),112
DATA_SOURCE 0 adv_dvc $0
BIT_INFO 1 offset 0x0,0xfffffff0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 adv_dvc->bist_err_code 0-255
HOST_DATA 0 adv_dvc->cfg->chip_version 0-255
HOST_DATA 0 adv_dvc->cfg->control_flag 0-u16max
HOST_DATA 0 adv_dvc->cfg->disc_enable 0-u16max
HOST_DATA 0 adv_dvc->cfg->mcode_date 0-u16max
HOST_DATA 0 adv_dvc->cfg->mcode_version 0-u16max
HOST_DATA 0 adv_dvc->cfg->serial1 0-u16max
HOST_DATA 0 adv_dvc->cfg->serial2 0-u16max
HOST_DATA 0 adv_dvc->cfg->serial3 0-u16max
HOST_DATA 0 adv_dvc->cfg->termination 0-255
HOST_DATA 0 *adv_dvc->cfg s64min-s64max
LOCK2 shost->host_lock
HALF_LOCKED2 flags

drivers/scsi/advansys.c adv_get_next_carrier() -> adv_get_carrier()

Type Parameter Key Value
PARAM_VALUE 0 adv_dvc 4096-ptr_max
PARAM_VALUE 0 adv_dvc->carr_freelist 4096-ptr_max
PARAM_VALUE 0 adv_dvc->carr_freelist->next_vpa 1-4294967294
PARAM_VALUE 1 offset 1-4294967294
BUF_SIZE 0 adv_dvc (-1),112
BUF_SIZE 0 adv_dvc (-1),112
BUF_SIZE 0 adv_dvc->carrier (-1),4096
DATA_SOURCE 0 adv_dvc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 adv_dvc->bist_err_code 0-255
HOST_DATA 0 adv_dvc->cfg->chip_version 0-255
HOST_DATA 0 adv_dvc->cfg->control_flag 0-u16max
HOST_DATA 0 adv_dvc->cfg->disc_enable 0-u16max
HOST_DATA 0 adv_dvc->cfg->mcode_date 0-u16max
HOST_DATA 0 adv_dvc->cfg->mcode_version 0-u16max
HOST_DATA 0 adv_dvc->cfg->serial1 0-u16max
HOST_DATA 0 adv_dvc->cfg->serial2 0-u16max
HOST_DATA 0 adv_dvc->cfg->serial3 0-u16max
HOST_DATA 0 adv_dvc->cfg->termination 0-255
UNITS 1 offset unit_byte
HALF_LOCKED2 irq_flags
HALF_LOCKED2 shost->host_lock