Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/scsi.c vhost_scsi_port_link() -> vhost_scsi_hotplug()

Type Parameter Key Value
PARAM_VALUE 0 tpg 4096-ptr_max
PARAM_VALUE 0 tpg->tv_tpg_mutex.dep_map->name 0-255
PARAM_VALUE 0 tpg->tv_tpg_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 tpg->tv_tpg_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 tpg->tv_tpg_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 tpg->tv_tpg_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 tpg->tv_tpg_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 tpg->tv_tpg_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 lun 4096-ptr_max
PARAM_VALUE 1 lun->link.pprev 4096-ptr_max
PARAM_VALUE 1 lun->lun_deve_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 lun->lun_ref.data 4096-ptr_max
PARAM_VALUE 1 lun->lun_ref.data->confirm_switch 0
PARAM_VALUE 1 lun->lun_ref.data->count.counter s64min-(-9223372036854775807),0-s64max
PARAM_VALUE 1 lun->lun_ref.data->ref 4096-ptr_max
PARAM_VALUE 1 lun->lun_ref.percpu_count_ptr 4096-18446744073709547523
PARAM_VALUE 1 lun->lun_se_dev 4096-ptr_max
PARAM_VALUE 1 lun->lun_tg_pt_gp 4096-ptr_max
PARAM_VALUE 1 lun->lun_tg_pt_gp_link.next 4096-ptr_max
PARAM_VALUE 1 lun->lun_tg_pt_gp_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 &tpg->tv_tpg_mutex 1
CAPPED_DATA 1 lun 1
DATA_SOURCE 1 lun $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dir->i_rwsem
LOCK2 0 &tpg->tv_tpg_mutex
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct vhost_scsi_tpg)->tv_tpg_mutex