Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/smartpqi/smartpqi_init.c pqi_free_interrupts() -> pqi_disable_msix_interrupts()

Type Parameter Key Value
PARAM_VALUE 0 ctrl_info 4096-ptr_max
PARAM_VALUE 0 ctrl_info->heartbeat_timer.entry.pprev 0
PARAM_VALUE 0 ctrl_info->heartbeat_timer.flags 0-4194302
PARAM_VALUE 0 ctrl_info->heartbeat_timer.function 0
PARAM_VALUE 0 ctrl_info->num_msix_vectors_initialized 0
PARAM_VALUE 0 ctrl_info->scsi_host->pseudo_sdev->sdev_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ctrl_info->scsi_host->pseudo_sdev->sdev_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ctrl_info->scsi_host->pseudo_sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctrl_info->scsi_host->pseudo_sdev->sdev_gendev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ctrl_info->scsi_host->pseudo_sdev->sdev_gendev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ctrl_info->scsi_host->pseudo_sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctrl_info->scsi_host->shost_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 ctrl_info->scsi_host->shost_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctrl_info->scsi_host->shost_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ctrl_info->sync_request_sem.first_waiter->up 0-1
PARAM_VALUE 0 *ctrl_info->pci_dev->saved_config_space 0-4294967295
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info s32min-(-1),1-s32max
BUF_SIZE 0 ctrl_info->pci_dev (-1),1-s32max
DATA_SOURCE 0 ctrl_info $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ctrl_info->pci_dev->current_state 0-3[c]
UNITS 0 ctrl_info unit_byte