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() -> (struct scsi_ctrl_blk)->post()

Type Parameter Key Value
PARAM_VALUE 0 host_mem 4096-ptr_max
PARAM_VALUE 1 cblk_mem 4096-ptr_max
CAPPED_DATA 1 cblk_mem 1
CAPPED_DATA 1 cblk_mem->srb 1
DATA_SOURCE 0 host_mem $0
PARAM_COMPARE 0 host_mem->active < $1
PARAM_COMPARE 0 host_mem->active <= $0->first_pending
PARAM_COMPARE 0 host_mem->active <= $0->last_pending
PARAM_COMPARE 1 cblk_mem > $0->active
BIT_INFO 1 cblk_mem->flags 0x3,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &host->semaph_lock
LOCK2 flags
HALF_LOCKED2 dev->host_lock
HALF_LOCKED2 irq_flags
HALF_LOCKED2 shost->host_lock
TYPE_LOCK (struct initio_host)->semaph_lock

drivers/scsi/initio.c initio_abort_srb() -> (struct scsi_ctrl_blk)->post()

Type Parameter Key Value
PARAM_VALUE 0 host_mem 4096-ptr_max
PARAM_VALUE 1 cblk_mem 4096-ptr_max
CAPPED_DATA 1 cblk_mem 1
CAPPED_DATA 1 cblk_mem->srb 1
DATA_SOURCE 0 host_mem $0
PARAM_COMPARE 0 host_mem->active < $1
PARAM_COMPARE 0 host_mem->active <= $0->first_busy
PARAM_COMPARE 0 host_mem->active <= $0->last_busy
PARAM_COMPARE 1 cblk_mem > $0->active
BIT_INFO 1 cblk_mem->flags 0x3,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &host->semaph_lock
LOCK2 flags
HALF_LOCKED2 dev->host_lock
HALF_LOCKED2 irq_flags
HALF_LOCKED2 shost->host_lock
TYPE_LOCK (struct initio_host)->semaph_lock

drivers/scsi/initio.c tulip_main() -> (struct scsi_ctrl_blk)->post()

Type Parameter Key Value
PARAM_VALUE 0 host_mem 4096-ptr_max
PARAM_VALUE 1 cblk_mem 4096-ptr_max
DATA_SOURCE 0 host_mem $0
DATA_SOURCE 1 cblk_mem r initio_find_done_scb
BIT_INFO 1 cblk_mem->flags 0x3,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *host_mem 0-255
HALF_LOCKED2 dev->host_lock
HALF_LOCKED2 irq_flags
HALF_LOCKED2 shost->host_lock