Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/dc395x.c adapter_remove_and_free_all_devices() -> adapter_remove_and_free_device()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->scsi_host 4096-ptr_max
PARAM_VALUE 0 acb->selto_timer.entry.pprev 0
PARAM_VALUE 0 acb->waiting_timer.entry.pprev 0
PARAM_VALUE 0 *acb->dcb_map 0-255
PARAM_VALUE 1 dcb 4096-ptr_max
BUF_SIZE 0 acb->dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 acb->scsi_host (-1),4600-s32max
CAPPED_DATA 0 &acb->dcb_list 1
CAPPED_DATA 1 &dcb->list 1
DATA_SOURCE 0 acb $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 acb->dev->current_state 0-3[c]
UNITS 0 acb unit_byte
LOCK2 (acb->scsi_host)->host_lock
LOCK2 flags

drivers/scsi/dc395x.c dc395x_sdev_destroy() -> adapter_remove_and_free_device()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 1 dcb 1-u64max
DATA_SOURCE 1 dcb r find_dcb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &shost->scan_mutex
TYPE_LOCK (struct Scsi_Host)->scan_mutex