Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/target_core_device.c target_configure_device() -> (struct target_backend_ops)->destroy_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_index 0-s32max
PARAM_VALUE 0 dev->transport 4096-ptr_max
PARAM_VALUE 0 dev->transport->configure_unmap 0,6027120026758565888,6236154244283904000
PARAM_VALUE 0 dev->transport->transport_flags_default 0-1,7
PARAM_VALUE 0 *dev->udev_path 0-255
BUF_SIZE 0 dev (-1),5816
BUF_SIZE 0 dev (-1),5816
BUF_SIZE 0 dev->se_hba (-1),416
DATA_SOURCE 0 dev $0
CONTAINER 0 -96-4376+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->dev_attrib.da_dev->queue_cnt
NO_OVERFLOW_SIMPLE 0 dev->queue_cnt
NO_OVERFLOW_SIMPLE 0 dev->t10_alua.t10_dev->queue_cnt
NO_OVERFLOW_SIMPLE 0 dev->t10_wwn.t10_dev->queue_cnt
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 sh->host_lock

drivers/target/target_core_device.c target_free_device() -> (struct target_backend_ops)->destroy_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->delayed_cmd_work.lockdep_map->name 0-255
PARAM_VALUE 0 dev->dev_flags 1-u32max
PARAM_VALUE 0 dev->non_ordered.data 0
PARAM_VALUE 0 dev->transport 4096-ptr_max
PARAM_VALUE 0 dev->transport->transport_flags_default 0-1,7
BUF_SIZE 0 dev (-1),5816
BUF_SIZE 0 dev (-1),5816
BUF_SIZE 0 dev->se_hba (-1),416
CAPPED_DATA 0 &dev->delayed_cmd_work 1
CAPPED_DATA 0 &dev->dev_sep_list 1
DATA_SOURCE 0 dev $0
CONTAINER 0 -96-4376+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->dev_attrib.da_dev->queue_cnt
NO_OVERFLOW_SIMPLE 0 dev->queue_cnt
NO_OVERFLOW_SIMPLE 0 dev->t10_alua.t10_dev->queue_cnt
NO_OVERFLOW_SIMPLE 0 dev->t10_wwn.t10_dev->queue_cnt
HALF_LOCKED2 &hba->hba_access_mutex
HALF_LOCKED2 &subsys->su_mutex