Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/fuse/ioctl.c fuse_priv_ioctl_cleanup() -> fuse_file_release()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 inode->i_sb->s_fs_info->fc->chan->blocked 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->fc->chan->initialized 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->fc->chan->io_uring 0-1
PARAM_VALUE 0 inode->i_sb->s_fs_info->fc->chan->num_waiting.counter s32min-s32max
PARAM_VALUE 0 inode->i_sb->s_fs_info->fc->no_open 1
PARAM_VALUE 0 inode->i_sb->s_fs_info->fc->no_opendir 1
PARAM_VALUE 1 ff 4096-ptr_max
PARAM_VALUE 1 ff->fm 4096-ptr_max
PARAM_VALUE 1 ff->fm->fc 4096-ptr_max
PARAM_VALUE 1 ff->fm->fc->chan->blocked 0-1
PARAM_VALUE 1 ff->fm->fc->chan->initialized 0-1
PARAM_VALUE 1 ff->fm->fc->chan->io_uring 0-1
PARAM_VALUE 1 ff->fm->fc->chan->num_waiting.counter s32min-s32max
PARAM_VALUE 2 open_flags 0
PARAM_VALUE 3 id 0
BUF_SIZE 1 ff 232
DATA_SOURCE 0 inode $0
DATA_SOURCE 1 ff $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/fuse/file.c fuse_release_common() -> fuse_file_release()

Type Parameter Key Value
PARAM_VALUE 3 id 4096-ptr_max
BUF_SIZE 1 ff (-1),26
BUF_SIZE 3 id (-1),1-s32max
BUF_SIZE 3 id (-1),1-s32max
BUF_SIZE 3 id->private_data (-1),26
CAPPED_DATA 3 id 1
DATA_SOURCE 3 id $0
DATA_SOURCE 4 isdir $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL