Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/client/connect.c __cifs_put_smb_ses() -> (struct smb_version_operations)->logoff()

Type Parameter Key Value
PARAM_VALUE 1 ses 4096-ptr_max
PARAM_VALUE 1 ses->chan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ses->server 4096-ptr_max
PARAM_VALUE 1 ses->server->ops 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->add_credits 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->async_readv 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->can_echo 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->clear_stats 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->close 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->close_dir 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->dump_detail 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->echo 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->find_mid 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->flush 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->get_acl 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->get_credits 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->is_read_op 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->logoff 4628176709654794240,7961230517305634816
PARAM_VALUE 1 ses->server->ops->make_node 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->mand_lock 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->map_error 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->mkdir 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->need_neg 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->negotiate 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->open 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->print_stats 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->qfs_tcon 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->queryfs 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->rename 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->rmdir 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->sess_setup 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->set_EA 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->set_acl 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->set_credits 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->set_fid 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->sync_read 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->sync_write 4096-ptr_max
PARAM_VALUE 1 ses->server->ops->tree_disconnect 1476709406806376448,5256067551701577728
PARAM_VALUE 1 ses->server->ops->unlink 4096-ptr_max
PARAM_VALUE 1 ses->server->vals->protocol_id 0-768,770,785
PARAM_VALUE 1 ses->server->vals->req_capabilities 0,4,6,8-648
PARAM_VALUE 1 ses->ses_count s32min-0
PARAM_VALUE 1 ses->ses_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ses->ses_status 2
PARAM_VALUE 1 ses->tcon_ipc 0
PARAM_VALUE 1 *ses->server->fastest_cmd 0-4294967295
PARAM_VALUE 1 *ses->server->slowest_cmd 0-4294967295
BUF_SIZE 1 ses (-1),1584
BUF_SIZE 1 ses (-1),1584
DATA_SOURCE 0 xid r _get_xid
DATA_SOURCE 1 ses $0
FUZZY_MAX 1 ses->ses_count 0
HARD_MAX 1 ses->ses_count 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pserver->reconnect_mutex
HALF_LOCKED2 global &cifs_mount_mutex