Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/target/target_core_device.c target_alloc_device() -> (struct target_backend_ops)->free_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->non_ordered.percpu_count_ptr 0
PARAM_VALUE 0 dev->queue_cnt 0-8193
PARAM_VALUE 0 dev->queues 0,16,4096-ptr_max
PARAM_VALUE 0 dev->stats 0,4096-ptr_max
BUF_SIZE 0 dev 5816
BUF_SIZE 0 dev->queues 0-1441968,u64max
BUF_SIZE 0 dev->stats 24
CAPPED_DATA 0 dev->queue_cnt 1
CAPPED_DATA 0 dev->queues 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->queue_cnt
HALF_LOCKED2 &hba->hba_access_mutex
HALF_LOCKED2 &subsys->su_mutex

drivers/target/target_core_device.c target_free_device() -> (struct target_backend_ops)->free_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_alua_lu_gp_mem->lu_gp->lu_gp_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev_alua_lu_gp_mem->lu_gp_mem_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev_pr_res_holder 0
PARAM_VALUE 0 dev->dev_reservation_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->non_ordered.data 0
PARAM_VALUE 0 dev->t10_alua.lba_map_list.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->t10_alua.lba_map_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->t10_alua.lba_map_segment_multiplier 0
PARAM_VALUE 0 dev->t10_alua.lba_map_segment_size 0
PARAM_VALUE 0 dev->t10_alua.tg_pt_gps_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->t10_pr.aptpl_reg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->t10_pr.registration_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->t10_wwn.t10_vpd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->transport 4096-ptr_max
PARAM_VALUE 0 dev->transport->free_prot 0,1554292117688602624,6296227579544948736
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->dev_alua_lu_gp_mem 1
CAPPED_DATA 0 dev->queues 1
CAPPED_DATA 0 &dev->delayed_cmd_work 1
CAPPED_DATA 0 &dev->dev_sep_list 1
DATA_SOURCE 0 dev $0
CONTAINER 0 -104-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