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