Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 22 files:

Smatch caller information:

drivers/ufs/core/ufshcd.c ufshcd_scsi_add_wlus() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->sdev_gendev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 sdev->sdev_gendev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
DATA_SOURCE 0 sdev r __scsi_add_device
NOCHECK_CALL

drivers/scsi/vmw_pvscsi.c pvscsi_process_msg() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/scsi_proc.c scsi_remove_single_device() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
NOCHECK_CALL

drivers/scsi/arcmsr/arcmsr_hba.c arcmsr_message_isr_bh_fn() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/arcmsr/arcmsr_hba.c arcmsr_remove_scsi_devices() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/scsi/scsi_sysfs.c __scsi_remove_target() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 &sdev->siblings 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/scsi_sysfs.c sdev_store_delete() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/ata/libata-core.c ata_port_detach() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 1-u64max
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ap->scsi_scan_mutex
TYPE_LOCK (struct ata_port)->scsi_scan_mutex

drivers/scsi/hpsa.c hpsa_remove_device() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
NOCHECK_CALL

drivers/scsi/xen-scsifront.c scsifront_do_lun_hotplug() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xenwatch_mutex

drivers/firewire/sbp2.c sbp2_login() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
DATA_SOURCE 0 sdev r __scsi_add_device
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/sbp2.c sbp2_remove() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/mvumi.c mvumi_detach_devices() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mhba->device_lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct mvumi_hba)->device_lock

drivers/scsi/mvumi.c mvumi_handle_hotplug() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mhba->device_lock
HALF_LOCKED2 &mhba->sas_discovery_mutex
HALF_LOCKED2 &pool->lock

drivers/scsi/mvumi.c mvumi_io_attach() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/aacraid/commsup.c aac_handle_aif() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
NOCHECK_CALL

drivers/scsi/aacraid/commsup.c aac_handle_aif() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
NOCHECK_CALL

drivers/scsi/aacraid/commsup.c aac_handle_aif() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
FUZZY_MAX 0 sdev->sdev_state 2
NOCHECK_CALL

drivers/scsi/aacraid/commsup.c aac_remove_safw_device() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 0,4096-ptr_max
DATA_SOURCE 0 sdev r aac_lookup_safw_scsi_device
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->scan_mutex
TYPE_LOCK (struct aac_dev)->scan_mutex

drivers/scsi/storvsc_drv.c storvsc_remove_lun() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/virtio_scsi.c virtscsi_handle_transport_reset() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/virtio_scsi.c virtscsi_rescan_hotunplug() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/virtio_scsi.c virtscsi_rescan_hotunplug() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/ipr.c ipr_add_remove_thread() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/ata/libata-scsi.c ata_scsi_remove_dev() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
FUZZY_MAX 0 sdev->sdev_state 6
NOCHECK_CALL
LOCK2 &ap->scsi_scan_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ata_port)->scsi_scan_mutex

drivers/scsi/smartpqi/smartpqi_init.c pqi_remove_device() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev->sdev_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctrl_info->scan_mutex
HALF_LOCKED2 &ctrl_info->lun_reset_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct pqi_ctrl_info)->scan_mutex

drivers/scsi/esas2r/esas2r_main.c esas2r_remove_device() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
FUZZY_MAX 0 sdev->sdev_state 6
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/megaraid/megaraid_sas_base.c megasas_remove_scsi_device() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/message/fusion/mptsas.c mptsas_hotplug_work() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 0,4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/message/fusion/mptsas.c mptsas_volume_delete() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
NOCHECK_CALL
LOCK2 &ioc->sas_device_info_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct _MPT_ADAPTER)->sas_device_info_mutex

drivers/target/loopback/tcm_loop.c tcm_loop_port_unlink() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
CAPPED_DATA 0 sdev->channel 1
CAPPED_DATA 0 sdev->id 1
CAPPED_DATA 0 sdev->lun 1
DATA_SOURCE 0 sdev r scsi_device_lookup
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

drivers/scsi/pmcraid.c pmcraid_worker_function() -> scsi_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->host->hostt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 sdev->host->hostt->module->state 0-1,3-u32max
PARAM_VALUE 0 sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sdev->sdev_state 0-2,5-u32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock