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

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

fs/smb/server/vfs_cache.c ksmbd_free_global_file_table() -> ksmbd_remove_durable_fd()

Type Parameter Key Value
PARAM_VALUE 0 fp 1-u64max
PARAM_VALUE 0 fp->f_ci->m_hash->next->pprev 1-u64max
PARAM_VALUE 0 fp->f_ci->m_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 fp->f_ci->m_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 fp->f_ci->m_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 fp->f_ci->m_lock.first_waiter->type 0-1
PARAM_VALUE 0 fp->filp->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fp->filp->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fp->filp->f_cred->rcu.func 1-u64max
PARAM_VALUE 0 fp->filp->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 fp->filp->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 fp->filp->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fp->filp->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fp->filp->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fp->filp->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fp->filp->f_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 fp->filp->f_cred->user_ns->work.entry.next 4096-ptr_max
PARAM_VALUE 0 fp->filp->f_path->dentry->d_parent->d_fsdata->d_fsdata (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 fp->filp->f_path->dentry->d_parent->d_fsdata->name 0-255
PARAM_VALUE 0 fp->filp->f_path.dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_alias->next->pprev 1-u64max
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->id 0-4294967295
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.flags 0-4294967295
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_hard 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_lazy 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_queued 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_soft 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.flags 0-4294967295
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_hard 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_lazy 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_queued 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_soft 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->flags 0-4294967295
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_hard 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_lazy 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_queued 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_soft 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_hard 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_lazy 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_soft 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.flags 0-4294967295
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.function 1626621062881370112
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_hard 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_lazy 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_queued 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_soft 0-1
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 fp->filp->f_path.dentry->d_parent->d_sib->next->pprev 1-u64max
PARAM_VALUE 0 fp->filp->f_security 0
PARAM_VALUE 0 fp->node.next->next 4096-ptr_max
PARAM_VALUE 0 fp->node.next->prev 4096-ptr_max
PARAM_VALUE 0 fp->node.prev->next 4096-ptr_max
PARAM_VALUE 0 fp->node.prev->prev 4096-ptr_max
DATA_SOURCE 0 fp r idr_get_next
NOCHECK_CALL