Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/9p/vfs_dir.c v9fs_dir_release() -> v9fs_inode_cookie()

Type Parameter Key Value
PARAM_VALUE 0 v9inode 4096-ptr_max
DATA_SOURCE 0 v9inode r V9FS_I
RX_PATH
TASK_NOT_RUNNING

fs/9p/vfs_dir.c v9fs_dir_release() -> v9fs_inode_cookie()

Type Parameter Key Value
PARAM_VALUE 0 v9inode 4096-ptr_max
DATA_SOURCE 0 v9inode r V9FS_I
RX_PATH
TASK_NOT_RUNNING

fs/9p/vfs_inode_dotl.c v9fs_vfs_atomic_open_dotl() -> v9fs_inode_cookie()

Type Parameter Key Value
PARAM_VALUE 0 v9inode 4096-ptr_max
DATA_SOURCE 0 v9inode r V9FS_I
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir_inode->i_rwsem

fs/9p/vfs_inode_dotl.c v9fs_vfs_setattr_dotl() -> v9fs_inode_cookie()

Type Parameter Key Value
PARAM_VALUE 0 v9inode 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock

fs/9p/cache.c v9fs_cache_inode_get_cookie() -> v9fs_inode_cookie()

Type Parameter Key Value
PARAM_VALUE 0 v9inode 4096-ptr_max
DATA_SOURCE 0 v9inode r V9FS_I
RX_PATH
TASK_NOT_RUNNING

fs/9p/cache.c v9fs_cache_inode_get_cookie() -> v9fs_inode_cookie()

Type Parameter Key Value
PARAM_VALUE 0 v9inode 4096-ptr_max
PARAM_VALUE 0 v9inode->netfs.cache 0,4096-ptr_max
DATA_SOURCE 0 v9inode r V9FS_I
RX_PATH
TASK_NOT_RUNNING

fs/9p/vfs_inode.c v9fs_evict_inode() -> v9fs_inode_cookie()

Type Parameter Key Value
PARAM_VALUE 0 v9inode 4096-ptr_max
DATA_SOURCE 0 v9inode r V9FS_I
RX_PATH
TASK_NOT_RUNNING

fs/9p/vfs_inode.c v9fs_evict_inode() -> v9fs_inode_cookie()

Type Parameter Key Value
PARAM_VALUE 0 v9inode 4096-ptr_max
PARAM_VALUE 0 v9inode->netfs.cache 1-u64max
DATA_SOURCE 0 v9inode r V9FS_I
RX_PATH
TASK_NOT_RUNNING

fs/9p/vfs_inode.c v9fs_vfs_atomic_open() -> v9fs_inode_cookie()

Type Parameter Key Value
PARAM_VALUE 0 v9inode 4096-ptr_max
DATA_SOURCE 0 v9inode r V9FS_I
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir_inode->i_rwsem

fs/9p/vfs_inode.c v9fs_vfs_setattr() -> v9fs_inode_cookie()

Type Parameter Key Value
PARAM_VALUE 0 v9inode 4096-ptr_max
DATA_SOURCE 0 v9inode r V9FS_I
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/9p/vfs_file.c v9fs_file_open() -> v9fs_inode_cookie()

Type Parameter Key Value
PARAM_VALUE 0 v9inode 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING