Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/dc395x.c dc395x_eh_abort() -> free_tag()

Type Parameter Key Value
PARAM_VALUE 0 dcb 4096-ptr_max
PARAM_VALUE 1 srb 4096-ptr_max
CAPPED_DATA 0 &dcb->srb_waiting_list 1
CAPPED_DATA 1 srb->cmd 1
DATA_SOURCE 0 dcb r find_dcb
DATA_SOURCE 1 srb r find_cmd
NOCHECK_CALL

drivers/scsi/dc395x.c disconnect() -> free_tag()

Type Parameter Key Value
PARAM_VALUE 0 dcb 4096-ptr_max
PARAM_VALUE 1 srb 4096-ptr_max
BIT_INFO 1 srb->state 0x0,0x44
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 (acb->scsi_host)->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/scsi/dc395x.c disconnect() -> free_tag()

Type Parameter Key Value
PARAM_VALUE 0 dcb 4096-ptr_max
PARAM_VALUE 1 srb 4096-ptr_max
BIT_INFO 1 srb->state 0x0,0x6f7f
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 (acb->scsi_host)->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/scsi/dc395x.c doing_srb_done() -> free_tag()

Type Parameter Key Value
PARAM_VALUE 1 srb 4096-ptr_max
CAPPED_DATA 0 &dcb->srb_going_list 1
CAPPED_DATA 1 &srb->list 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 (acb->scsi_host)->host_lock
HALF_LOCKED2 cmd->device->host->host_lock
HALF_LOCKED2 irq

drivers/scsi/dc395x.c reselect() -> free_tag()

Type Parameter Key Value
PARAM_VALUE 0 dcb 4096-ptr_max
PARAM_VALUE 1 srb 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 (acb->scsi_host)->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/scsi/dc395x.c srb_done() -> free_tag()

Type Parameter Key Value
PARAM_VALUE 0 dcb 4096-ptr_max
PARAM_VALUE 1 srb 4096-ptr_max
PARAM_VALUE 1 srb->tag_number 255
CAPPED_DATA 0 &dcb->srb_going_list 1
DATA_SOURCE 0 dcb $1
DATA_SOURCE 1 srb $2
BIT_INFO 1 srb->flag 0x0,0xfe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 (acb->scsi_host)->host_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/scsi/dc395x.c start_scsi() -> free_tag()

Type Parameter Key Value
PARAM_VALUE 0 dcb 4096-ptr_max
PARAM_VALUE 1 srb 4096-ptr_max
CAPPED_DATA 1 srb->cmd->cmd_len 1
CAPPED_DATA 1 srb->tag_number 1
DATA_SOURCE 0 dcb $1
DATA_SOURCE 1 srb $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 srb->sg_count
HALF_LOCKED2 (acb->scsi_host)->host_lock
HALF_LOCKED2 irq_flags
HALF_LOCKED2 shost->host_lock