Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/target/iscsi/iscsi_target.c iscsit_close_connection() -> iscsit_dec_session_usage_count()

Type Parameter Key Value
PARAM_VALUE 0 sess 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/target/iscsi/iscsi_target.c iscsit_logout_post_handler_closesession() -> iscsit_dec_session_usage_count()

Type Parameter Key Value
PARAM_VALUE 0 sess 4096-ptr_max
PARAM_VALUE 0 sess->conn_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sess->session_close.counter 1
PARAM_VALUE 0 sess->session_wait_comp.done 0-4294967293,u32max
PARAM_VALUE 0 sess->session_wait_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 sess->session_wait_comp.wait.lock.owner (-1)
PARAM_VALUE 0 sess->session_wait_comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 sess->session_wait_comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 sess->session_wait_comp.wait.task_list.prev->next->next 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/target/iscsi/iscsi_target.c iscsit_release_sessions_for_tpg() -> iscsit_dec_session_usage_count()

Type Parameter Key Value
PARAM_VALUE 0 sess 4096-ptr_max
PARAM_VALUE 0 sess->conn_lock.rlock.dep_map->name 0-255
BUF_SIZE 0 sess 8,80,328,400,480,1080,1112
BUF_SIZE 0 sess 8,80,328,400,480,1080,1112
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/target/iscsi/iscsi_target_login.c iscsi_check_for_session_reinstatement() -> iscsit_dec_session_usage_count()

Type Parameter Key Value
PARAM_VALUE 0 sess 4096-ptr_max
PARAM_VALUE 0 sess->conn_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sess->sess_ops 4096-ptr_max
PARAM_VALUE 0 sess->session_close.counter 1
PARAM_VALUE 0 sess->session_fall_back_to_erl0.counter 1
PARAM_VALUE 0 sess->session_logout.counter 0
PARAM_VALUE 0 sess->session_reinstatement.counter 1
PARAM_VALUE 0 sess->session_state 4
BUF_SIZE 0 sess 8,80,328,400,480,1080,1112
BUF_SIZE 0 sess 8,80,328,400,480,1080,1112
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/target/iscsi/iscsi_target_login.c iscsi_check_for_session_reinstatement() -> iscsit_dec_session_usage_count()

Type Parameter Key Value
PARAM_VALUE 0 sess 4096-ptr_max
PARAM_VALUE 0 sess->conn_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sess->sess_ops 4096-ptr_max
PARAM_VALUE 0 sess->session_close.counter 1
PARAM_VALUE 0 sess->session_fall_back_to_erl0.counter 1
PARAM_VALUE 0 sess->session_logout.counter 0
PARAM_VALUE 0 sess->session_reinstatement.counter 1
PARAM_VALUE 0 sess->session_state 0-3,5-u32max
PARAM_VALUE 0 sess->session_wait_comp.done 0-4294967293,u32max
PARAM_VALUE 0 sess->session_wait_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 sess->session_wait_comp.wait.lock.owner (-1)
PARAM_VALUE 0 sess->session_wait_comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 sess->session_wait_comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 sess->session_wait_comp.wait.task_list.prev->next->next 4096-ptr_max
BUF_SIZE 0 sess 8,80,328,400,480,1080,1112
BUF_SIZE 0 sess 8,80,328,400,480,1080,1112
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/target/iscsi/iscsi_target_login.c iscsi_post_login_handler() -> iscsit_dec_session_usage_count()

Type Parameter Key Value
PARAM_VALUE 0 sess 4096-ptr_max
PARAM_VALUE 0 sess->conn_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sess->sess_conn_list.prev 4096-ptr_max
PARAM_VALUE 0 sess->sess_conn_list.prev->next 4096-ptr_max
PARAM_VALUE 0 sess->sess_conn_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sess->sess_ops->DataPDUInOrder 0-1
PARAM_VALUE 0 sess->sess_ops->DataSequenceInOrder 0-1
PARAM_VALUE 0 sess->sess_ops->ImmediateData 0-1
PARAM_VALUE 0 sess->sess_ops->InitialR2T 0-1
PARAM_VALUE 0 sess->sess_ops->RDMAExtensions 0-1
PARAM_VALUE 0 sess->sess_ops->SessionType 0-1
PARAM_VALUE 0 sess->session_continuation.counter 0
PARAM_VALUE 0 sess->session_state 0-3,5-u32max
PARAM_VALUE 0 *sess->sess_ops->InitiatorAlias 0-255
PARAM_VALUE 0 *sess->sess_ops->InitiatorName 0-255
PARAM_VALUE 0 *sess->sess_ops->TargetAlias 0-255
PARAM_VALUE 0 *sess->sess_ops->TargetName 0-255
FUZZY_MAX 0 sess->session_state 3
NOCHECK_CALL
USER_DATA 0 sess->sess_ops->DefaultTime2Retain 0-u16max
USER_DATA 0 sess->sess_ops->DefaultTime2Wait 0-u16max
USER_DATA 0 sess->sess_ops->ErrorRecoveryLevel 0-255
USER_DATA 0 sess->sess_ops->FirstBurstLength 0-u32max
USER_DATA 0 sess->sess_ops->MaxBurstLength 0-u32max
USER_DATA 0 sess->sess_ops->MaxConnections 0-u16max
USER_DATA 0 sess->sess_ops->MaxOutstandingR2T 0-u16max
USER_DATA 0 sess->sess_ops->TargetPortalGroupTag 0-u16max

drivers/target/iscsi/iscsi_target_login.c iscsi_target_login_sess_out() -> iscsit_dec_session_usage_count()

Type Parameter Key Value
PARAM_VALUE 0 sess 4096-ptr_max
PARAM_VALUE 0 sess->conn_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *sess->auth_type 0-255
CAPPED_DATA 0 sess->se_sess 1
CAPPED_DATA 0 sess->sess_ops 1
NOCHECK_CALL

drivers/target/iscsi/iscsi_target_configfs.c lio_tpg_close_session() -> iscsit_dec_session_usage_count()

Type Parameter Key Value
PARAM_VALUE 0 sess 4096-ptr_max
PARAM_VALUE 0 sess->conn_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sess->session_close.counter 1
PARAM_VALUE 0 sess->session_fall_back_to_erl0.counter 1
PARAM_VALUE 0 sess->session_logout.counter 0
PARAM_VALUE 0 sess->session_reinstatement.counter 1
PARAM_VALUE 0 sess->session_usage_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sess->session_wait_comp.done 0-4294967293,u32max
PARAM_VALUE 0 sess->session_wait_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 sess->session_wait_comp.wait.lock.owner (-1)
PARAM_VALUE 0 sess->session_wait_comp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 sess->session_wait_comp.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 sess->session_wait_comp.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sess->tpg->tpg_se_tpg.session_lock.rlock.dep_map->name 0-255
BUF_SIZE 0 sess 8,80,328,400,480,1080,1112
BUF_SIZE 0 sess 8,80,328,400,480,1080,1112
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &tpg->tpg_access_lock