Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

drivers/scsi/qla2xxx/tcm_qla2xxx.c tcm_qla2xxx_free_session() -> target_remove_session()

Type Parameter Key Value
PARAM_VALUE 0 se_sess 4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt 4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.done 0-4294967293,u32max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.lock.owner (-1)
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.task_list.prev->next->next 4096-ptr_max
NOCHECK_CALL

drivers/xen/xen-scsiback.c scsiback_drop_nexus() -> target_remove_session()

Type Parameter Key Value
PARAM_VALUE 0 se_sess 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &tpg->tv_tpg_mutex
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
TYPE_LOCK (struct scsiback_tpg)->tv_tpg_mutex

drivers/usb/gadget/function/f_tcm.c tcm_usbg_drop_nexus() -> target_remove_session()

Type Parameter Key Value
PARAM_VALUE 0 se_sess 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &tpg->tpg_mutex
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
TYPE_LOCK (struct usbg_tpg)->tpg_mutex

drivers/target/tcm_fc/tfc_sess.c ft_sess_free() -> target_remove_session()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/elx/efct/efct_lio.c efct_lio_remove_session() -> target_remove_session()

Type Parameter Key Value
PARAM_VALUE 0 se_sess 4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt 4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt->refcnt.data 0,4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt->refcnt.data->rcu.func 1-u64max
PARAM_VALUE 0 se_sess->cmd_cnt->refcnt.percpu_count_ptr 1-u64max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.done 0-4294967293,u32max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.lock.owner (-1)
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt->stopped.counter 0-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/infiniband/ulp/srpt/ib_srpt.c srpt_release_channel_work() -> target_remove_session()

Type Parameter Key Value
PARAM_VALUE 0 se_sess 4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt 4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt->refcnt.data 0,4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt->refcnt.data->rcu.func 1-u64max
PARAM_VALUE 0 se_sess->cmd_cnt->refcnt.percpu_count_ptr 1-u64max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.done 0-4294967293,u32max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.lock.owner (-1)
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt->stop_done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 se_sess->cmd_cnt->stopped.counter 0-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/target/loopback/tcm_loop.c tcm_loop_drop_nexus() -> target_remove_session()

Type Parameter Key Value
PARAM_VALUE 0 se_sess 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem

drivers/target/sbp/sbp_target.c sbp_session_release() -> target_remove_session()

Type Parameter Key Value
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 se_sess->se_node_acl->nacl_sess->sess_tag_pool.sb.depth
NO_OVERFLOW_SIMPLE 0 se_sess->sess_tag_pool.sb.depth
HALF_LOCKED2 &pool->lock

drivers/vhost/scsi.c vhost_scsi_drop_nexus() -> target_remove_session()

Type Parameter Key Value
PARAM_VALUE 0 se_sess 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &tpg->tv_tpg_mutex
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
TYPE_LOCK (struct vhost_scsi_tpg)->tv_tpg_mutex