Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

fs/ufs/dir.c ufs_dir_llseek() -> generic_llseek_cookie()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 3 cookie s32min-(-2),1-s32max
DATA_SOURCE 0 file $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 whence $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset s64min-s64max
USER_DATA 2 whence 0-4
NO_OVERFLOW_SIMPLE 0 file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size

fs/proc/base.c proc_dir_llseek() -> generic_llseek_cookie()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 3 cookie 2468771974929965056
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
DATA_SOURCE 0 file $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 whence $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset s64min-s64max
USER_DATA 2 whence 0-4
NO_OVERFLOW_SIMPLE 0 file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size

fs/ext2/dir.c ext2_dir_llseek() -> generic_llseek_cookie()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 3 cookie s32min-(-2),1-s32max
DATA_SOURCE 0 file $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 whence $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset s64min-s64max
USER_DATA 2 whence 0-4
NO_OVERFLOW_SIMPLE 0 file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size

fs/ocfs2/file.c ocfs2_dir_llseek() -> generic_llseek_cookie()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
DATA_SOURCE 0 file $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 whence $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset s64min-s64max
USER_DATA 2 whence 0-4
NO_OVERFLOW_SIMPLE 0 file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size

fs/ubifs/dir.c ubifs_dir_llseek() -> generic_llseek_cookie()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 3 cookie 4096-ptr_max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
DATA_SOURCE 0 file $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 whence $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset s64min-s64max
USER_DATA 2 whence 0-4
NO_OVERFLOW_SIMPLE 0 file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size

fs/udf/dir.c udf_dir_llseek() -> generic_llseek_cookie()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 3 cookie s32min-(-2),1-s32max
DATA_SOURCE 0 file $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 whence $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset s64min-s64max
USER_DATA 2 whence 0-4
NO_OVERFLOW_SIMPLE 0 file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size

fs/affs/dir.c affs_dir_llseek() -> generic_llseek_cookie()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 3 cookie 4096-ptr_max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
DATA_SOURCE 0 file $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 whence $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset s64min-s64max
USER_DATA 2 whence 0-4
NO_OVERFLOW_SIMPLE 0 file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size