Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/smb/server/vfs_cache.c ksmbd_close_disconnected_durable_delete_on_close() -> __ksmbd_remove_durable_fd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->conn | 0 |
| PARAM_VALUE | 0 | fp->f_state | 1 |
| PARAM_VALUE | 0 | fp->is_durable | 1 |
| CAPPED_DATA | 0 | &fp->node | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &ci->m_lock | ||
| LOCK2 | global &global_ft.lock | ||
| TYPE_LOCK | (struct ksmbd_file_table)->lock | ||
| TYPE_LOCK | (struct ksmbd_inode)->m_lock |
fs/smb/server/vfs_cache.c ksmbd_durable_scavenger() -> __ksmbd_remove_durable_fd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->conn | 0 |
| PARAM_VALUE | 0 | fp->durable_timeout | 1-u32max |
| PARAM_VALUE | 0 | fp->f_ci->m_hash->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | fp->f_ci->m_lock.dep_map->name | 0-255 |
| 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 |
| PARAM_VALUE | 0 | fp->refcount.counter | s32min-1 |
| CAPPED_DATA | 0 | fp->durable_scavenger_timeout | 1 |
| DATA_SOURCE | 0 | fp | r idr_get_next |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &global_ft.lock | ||
| TYPE_LOCK | (struct ksmbd_file_table)->lock |
fs/smb/server/vfs_cache.c ksmbd_remove_durable_fd() -> __ksmbd_remove_durable_fd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 1-u64max |
| 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_mapping->host->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | fp->filp->f_mapping->host->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | fp->filp->f_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | fp->filp->f_mapping->host->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | fp->filp->f_path.dentry->d_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | fp->filp->f_path.dentry->d_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| 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 |
| DATA_SOURCE | 0 | fp | $0 |
| 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.d_inode->i_size | |
| 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 | |
| LOCK2 | global &global_ft.lock | ||
| TYPE_LOCK | (struct ksmbd_file_table)->lock |