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() -> sesInfoFree()

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

fs/smb/client/connect.c cifs_get_smb_ses() -> sesInfoFree()

Type Parameter Key Value
PARAM_VALUE 0 buf_to_free 0,4096-ptr_max
PARAM_VALUE 0 buf_to_free->iface_list.next->next 4096-ptr_max
PARAM_VALUE 0 buf_to_free->iface_list.prev->next 4096-ptr_max
PARAM_VALUE 0 buf_to_free->iface_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 buf_to_free->session_mutex.dep_map->name 0-255
PARAM_VALUE 0 buf_to_free->session_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 buf_to_free->session_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 buf_to_free->session_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 buf_to_free->session_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 buf_to_free->session_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 buf_to_free->session_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 buf_to_free->smb_ses_list.next->next 4096-ptr_max
PARAM_VALUE 0 buf_to_free->smb_ses_list.prev->next 4096-ptr_max
PARAM_VALUE 0 buf_to_free->smb_ses_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 buf_to_free->tcon_list.next->next 4096-ptr_max
PARAM_VALUE 0 buf_to_free->tcon_list.prev->next 4096-ptr_max
PARAM_VALUE 0 buf_to_free->tcon_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 *buf_to_free->preauth_sha_hash 0-255
PARAM_VALUE 0 *buf_to_free->server->cryptkey 0-255
PARAM_VALUE 0 *buf_to_free->server->fastest_cmd 0-4294967295
PARAM_VALUE 0 *buf_to_free->server->server_GUID 0-255
PARAM_VALUE 0 *buf_to_free->server->slowest_cmd 0-4294967295
BUF_SIZE 0 buf_to_free 1584
BUF_SIZE 0 buf_to_free->server (-1),2800
DATA_SOURCE 0 buf_to_free r sesInfoAlloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cifs_mount_mutex