Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

fs/smb/client/readdir.c cifs_readdir() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->dirents.de_mutex.dep_map->name 0-255
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 cfid->dirents.de_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cfid->dirents.de_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 cfid->dirents.is_valid 0
PARAM_VALUE 0 cfid->has_lease 0-1
BUF_SIZE 0 cfid->dirents.file (-1)-s32max
CAPPED_DATA 0 &cfid->dirents.de_mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/smb/client/readdir.c cifs_readdir() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 1-u64max
BUF_SIZE 0 cfid->dirents.file (-1)-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/smb/client/dir.c cifs_d_revalidate() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->dirents.is_valid 1
PARAM_VALUE 0 cfid->has_lease 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/client/dir.c cifs_d_revalidate() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->dirents.is_valid 0
PARAM_VALUE 0 cfid->has_lease 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/client/dir.c cifs_lookup() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->dirents.is_valid 1
PARAM_VALUE 0 cfid->has_lease 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &parent_dir_inode->i_rwsem

fs/smb/client/dir.c cifs_lookup() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->dirents.is_valid 0
PARAM_VALUE 0 cfid->has_lease 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &parent_dir_inode->i_rwsem

fs/smb/client/smb2inode.c smb2_query_path_info() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->has_lease 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cifs_mount_mutex

fs/smb/client/cached_dir.c cached_dir_offload_close() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/smb/client/cached_dir.c cfids_laundromat_worker() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->dentry 0
PARAM_VALUE 0 cfid->is_open 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &cfid->dentry->d_lockref.lock

fs/smb/client/cached_dir.c drop_cached_dir_by_name() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->cfids 4096-ptr_max
PARAM_VALUE 0 cfid->cfids->cfid_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cfid->has_lease 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/client/cached_dir.c open_cached_dir() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->has_lease 0
PARAM_VALUE 0 cfid->on_list 0
BUF_SIZE 0 cfid (-1),664
BUF_SIZE 0 cfid (-1),664
BUF_SIZE 0 cfid->dentry (-1),1-s32max
BUF_SIZE 0 cfid->tcon (-1),2584
DATA_SOURCE 0 cfid r find_or_create_cached_dir
STR_LEN 0 cfid->tcon (-1)-0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cifs_mount_mutex

fs/smb/client/smb2ops.c smb2_is_path_accessible() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid->has_lease 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &cifs_mount_mutex
HALF_LOCKED2 &fc->uapi_mutex

fs/smb/client/smb2ops.c smb2_query_info_compound() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 1-u64max
PARAM_VALUE 0 cfid->has_lease 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/client/smb2ops.c smb3_qfs_tcon() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &cifs_mount_mutex
HALF_LOCKED2 &fc->uapi_mutex

fs/smb/client/inode.c cifs_dentry_needs_reval() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->has_lease 1
PARAM_VALUE 0 cfid->time 0-18446744073709551614
CAPPED_DATA 0 cfid->time 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/client/inode.c cifs_dentry_needs_reval() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->has_lease 1
PARAM_VALUE 0 cfid->time 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/client/inode.c cifs_invalidate_cached_dir() -> close_cached_dir()

Type Parameter Key Value
PARAM_VALUE 0 cfid 4096-ptr_max
PARAM_VALUE 0 cfid->dirents.de_mutex.dep_map->name 0-255
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 cfid->dirents.de_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 cfid->dirents.de_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cfid->dirents.de_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 cfid->dirents.is_failed 1
PARAM_VALUE 0 cfid->dirents.is_valid 0
PARAM_VALUE 0 cfid->has_lease 1
CAPPED_DATA 0 &cfid->dirents.de_mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL