Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/smb/server/vfs_cache.c ksmbd_close_fd_app_instance_id() -> ksmbd_put_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->f_opinfo | 0,4096-ptr_max |
| PARAM_VALUE | 0 | fp->f_state | 1 |
| PARAM_VALUE | 0 | fp->refcount.counter | 0-s32max |
| DATA_SOURCE | 0 | fp | r ksmbd_lookup_fd_app_instance_id |
| NOCHECK_CALL |
fs/smb/server/vfs_cache.c ksmbd_invalidate_durable_fd() -> ksmbd_put_durable_fd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->conn | 1-u64max |
| PARAM_VALUE | 0 | fp->durable_reconnect_disabled | 1 |
| DATA_SOURCE | 0 | fp | r ksmbd_lookup_global_fd |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/smb/server/vfs_cache.c ksmbd_invalidate_durable_fd() -> ksmbd_put_durable_fd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->conn | 0 |
| PARAM_VALUE | 0 | fp->durable_reconnect_disabled | 1 |
| PARAM_VALUE | 0 | fp->durable_timeout | 1 |
| DATA_SOURCE | 0 | fp | r ksmbd_lookup_global_fd |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/smb/server/vfs_cache.c ksmbd_lookup_durable_fd() -> ksmbd_put_durable_fd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->durable_scavenger_timeout | 1-4294967294 |
| PARAM_VALUE | 0 | fp->f_state | 1 |
| PARAM_VALUE | 0 | fp->refcount.counter | 0-s32max |
| CAPPED_DATA | 0 | fp->durable_scavenger_timeout | 1 |
| DATA_SOURCE | 0 | fp | r __ksmbd_lookup_fd |
| NOCHECK_CALL |
fs/smb/server/smb2pdu.c parse_durable_handle_context() -> ksmbd_put_durable_fd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->conn | 0 |
| PARAM_VALUE | 0 | fp->durable_reconnect_disabled | 0 |
| 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->f_state | 1 |
| 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->refcount.counter | 0-s32max |
| CAPPED_DATA | 0 | fp | 1 |
| CAPPED_DATA | 0 | fp->durable_scavenger_timeout | 1 |
| DATA_SOURCE | 0 | fp | r ksmbd_lookup_durable_fd |
| NOCHECK_CALL |
fs/smb/server/smb2pdu.c parse_durable_handle_context() -> ksmbd_put_durable_fd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->conn | 0 |
| PARAM_VALUE | 0 | fp->durable_reconnect_disabled | 0 |
| 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->f_state | 1 |
| 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->refcount.counter | 0-s32max |
| CAPPED_DATA | 0 | fp | 1 |
| CAPPED_DATA | 0 | fp->durable_scavenger_timeout | 1 |
| CAPPED_DATA | 0 | fp->durable_volatile_id | 1 |
| DATA_SOURCE | 0 | fp | r ksmbd_lookup_durable_fd |
| NOCHECK_CALL |
fs/smb/server/smb2pdu.c parse_durable_handle_context() -> ksmbd_put_durable_fd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->conn | 0 |
| PARAM_VALUE | 0 | fp->durable_reconnect_disabled | 0 |
| 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->f_state | 1 |
| 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->refcount.counter | 0-s32max |
| CAPPED_DATA | 0 | fp | 1 |
| CAPPED_DATA | 0 | fp->durable_scavenger_timeout | 1 |
| DATA_SOURCE | 0 | fp | r ksmbd_lookup_durable_fd |
| NOCHECK_CALL |
fs/smb/server/smb2pdu.c parse_durable_handle_context() -> ksmbd_put_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->f_state | 1 |
| 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->refcount.counter | 0-s32max |
| DATA_SOURCE | 0 | fp | r ksmbd_lookup_fd_cguid |
| NOCHECK_CALL |
fs/smb/server/smb2pdu.c parse_durable_handle_context() -> ksmbd_put_durable_fd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fp | 4096-ptr_max |
| PARAM_VALUE | 0 | fp->conn | 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->f_state | 1 |
| 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->refcount.counter | 0-s32max |
| DATA_SOURCE | 0 | fp | r ksmbd_lookup_fd_cguid |
| NOCHECK_CALL |
fs/smb/server/smb2pdu.c parse_durable_handle_context() -> ksmbd_put_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->f_state | 1 |
| 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->refcount.counter | 0-s32max |
| DATA_SOURCE | 0 | fp | r ksmbd_lookup_fd_cguid |
| NOCHECK_CALL |