Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/esp_scsi.c __esp_interrupt() -> esp_finish_select()

Type Parameter Key Value
PARAM_VALUE 0 esp 4096-ptr_max
PARAM_VALUE 0 esp->active_cmd 1-u64max
PARAM_VALUE 0 esp->dev->driver_data->dma_status 0-255
PARAM_VALUE 0 esp->host 4096-ptr_max
PARAM_VALUE 0 esp->ireg 4-255
PARAM_VALUE 0 esp->ops 4096-ptr_max
PARAM_VALUE 0 esp->ops->esp_read8 4096-ptr_max
PARAM_VALUE 0 esp->regs 4096-ptr_max
DATA_SOURCE 0 esp $0
BIT_INFO 0 esp->flags 0x0,0xfffffffd
BIT_INFO 0 esp->ireg 0x4,0x3c
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 esp->active_cmd->status 0-255
HOST_DATA 0 esp->dev->driver_data->dma_status 0-255
HOST_DATA 0 esp->ireg 4-255
HOST_DATA 0 esp->seqreg 0-255
HOST_DATA 0 esp->sreg 0-255
HOST_DATA 0 esp->sreg2 0-255
LOCK2 0 esp->host->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/scsi/esp_scsi.c __esp_interrupt() -> esp_finish_select()

Type Parameter Key Value
PARAM_VALUE 0 esp 4096-ptr_max
PARAM_VALUE 0 esp->dev->driver_data->dma_status 0-255
PARAM_VALUE 0 esp->host 4096-ptr_max
PARAM_VALUE 0 esp->ops 4096-ptr_max
PARAM_VALUE 0 esp->ops->esp_read8 4096-ptr_max
PARAM_VALUE 0 esp->regs 4096-ptr_max
PARAM_VALUE 0 esp->select_state 1-255
DATA_SOURCE 0 esp $0
BIT_INFO 0 esp->flags 0x0,0xfffffffd
BIT_INFO 0 esp->ireg 0x0,0x38
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 esp->active_cmd->status 0-255
HOST_DATA 0 esp->dev->driver_data->dma_status 0-255
HOST_DATA 0 esp->ireg 0-255
HOST_DATA 0 esp->seqreg 0-255
HOST_DATA 0 esp->sreg 0-255
HOST_DATA 0 esp->sreg2 0-255
LOCK2 0 esp->host->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq