Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/server/vfs_cache.c __ksmbd_close_fd() -> __ksmbd_remove_fd()

Type Parameter Key Value
PARAM_VALUE 0 ft 4096-ptr_max
PARAM_VALUE 1 fp 4096-ptr_max
PARAM_VALUE 1 fp->conn 1-u64max
PARAM_VALUE 1 fp->f_ci->m_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fp->f_ci->m_lock.first_waiter->type 0-1
PARAM_VALUE 1 fp->filp->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fp->filp->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 fp->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fp->filp->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 fp->filp->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 fp->filp->f_path.dentry->d_inode->i_op->readlink 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256
PARAM_VALUE 1 fp->filp->f_path.dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fp->filp->f_path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 fp->filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2704,2712
PARAM_VALUE 1 fp->filp->f_path.dentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 fp->filp->f_path.dentry->d_parent->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 fp->persistent_id s32max-u64max
BUF_SIZE 1 fp->readdir_data.private (-1),40
CAPPED_DATA 1 fp 1
DATA_SOURCE 0 ft $0
DATA_SOURCE 1 fp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 fp->filp->f_pos s64min-s64max[c][u]
USER_DATA 1 fp->stream.pos 1-65536[c]
NO_OVERFLOW_SIMPLE 1 fp->filp->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 1 fp->filp->f_path.dentry->dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 1 fp->filp->f_path.dentry->moved->d_inode->i_size
NO_OVERFLOW_SIMPLE 1 fp->filp->f_path.moved->d_inode->i_size
HALF_LOCKED2 &pool->lock