Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/smb/client/file.c __cifs_get_writable_file() -> cifsFileInfo_get()

Type Parameter Key Value
PARAM_VALUE 0 cifs_file 4096-ptr_max
PARAM_VALUE 0 cifs_file->invalidHandle 0
CAPPED_DATA 0 &cifs_file->flist 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cifs_inode->open_file_lock
TYPE_LOCK (struct cifsInodeInfo)->open_file_lock

fs/smb/client/file.c __cifs_get_writable_file() -> cifsFileInfo_get()

Type Parameter Key Value
PARAM_VALUE 0 cifs_file 4096-ptr_max
PARAM_VALUE 0 *cifs_file->dentry->d_fsdata->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *cifs_file->dentry->d_fsdata->d_inode->i_sb->s_fs_info->summary->sum_list_head->d.name 0-255
PARAM_VALUE 0 *cifs_file->dentry->d_fsdata->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 0 *cifs_file->dentry->d_fsdata->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 0 *cifs_file->dentry->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 *cifs_file->dentry->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *cifs_file->dentry->d_inode->i_sb->s_fs_info->page_eio_cnt s32min-s32max
PARAM_VALUE 0 *cifs_file->tlink->tl_tcon->ses->ip_addr 0-255
PARAM_VALUE 0 *cifs_file->tlink->tl_tcon->ses->preauth_sha_hash 0-255
PARAM_VALUE 0 *cifs_file->tlink->tl_tcon->ses->server->cryptkey 0-255
PARAM_VALUE 0 *cifs_file->tlink->tl_tcon->ses->server->fastest_cmd 0-4294967295
PARAM_VALUE 0 *cifs_file->tlink->tl_tcon->ses->server->preauth_sha_hash 0-255
PARAM_VALUE 0 *cifs_file->tlink->tl_tcon->ses->server->server_GUID 0-255
PARAM_VALUE 0 *cifs_file->tlink->tl_tcon->ses->server->slowest_cmd 0-4294967295
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cifs_inode->open_file_lock
TYPE_LOCK (struct cifsInodeInfo)->open_file_lock

fs/smb/client/file.c __find_readable_file() -> cifsFileInfo_get()

Type Parameter Key Value
PARAM_VALUE 0 cifs_file 4096-ptr_max
PARAM_VALUE 0 cifs_file->invalidHandle 0
CAPPED_DATA 0 &cifs_file->flist 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cifs_inode->open_file_lock
TYPE_LOCK (struct cifsInodeInfo)->open_file_lock

fs/smb/client/file.c cifs_close() -> cifsFileInfo_get()

Type Parameter Key Value
PARAM_VALUE 0 cifs_file 4096-ptr_max
PARAM_VALUE 0 cifs_file->deferred.cpu 0-s32max
PARAM_VALUE 0 cifs_file->deferred.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 cifs_file->deferred_close_scheduled 1
PARAM_VALUE 0 cifs_file->dentry 4096-ptr_max
PARAM_VALUE 0 cifs_file->status_file_deleted 0
BUF_SIZE 0 cifs_file (-1),26
BUF_SIZE 0 cifs_file (-1),26
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cinode->deferred_lock
TYPE_LOCK (struct cifsInodeInfo)->deferred_lock

fs/smb/client/file.c cifs_init_request() -> cifsFileInfo_get()

Type Parameter Key Value
BUF_SIZE 0 cifs_file s32min-(-2),1-s32max
BUF_SIZE 0 cifs_file s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/smb/client/file.c cifs_reopen_persistent_handles() -> cifsFileInfo_get()

Type Parameter Key Value
PARAM_VALUE 0 cifs_file 4096-ptr_max
PARAM_VALUE 0 cifs_file->invalidHandle 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &pserver->reconnect_mutex
LOCK2 &tcon->open_file_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct TCP_Server_Info)->reconnect_mutex
TYPE_LOCK (struct cifs_tcon)->open_file_lock

fs/smb/client/misc.c cifs_queue_oplock_break() -> cifsFileInfo_get()

Type Parameter Key Value
PARAM_VALUE 0 cifs_file 4096-ptr_max
PARAM_VALUE 0 cifs_file->dentry 4096-ptr_max
PARAM_VALUE 0 cifs_file->oplock_level 0-255
DATA_SOURCE 0 cifs_file $0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &tcon->open_file_lock
LOCK2 global &cifs_tcp_ses_lock
TYPE_LOCK (struct cifs_tcon)->open_file_lock