Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 13 files:

Smatch caller information:

fs/coredump.c __dump_skip() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 offset s64min-(-1),1-s64max
PARAM_VALUE 2 whence 1
DATA_SOURCE 1 offset $1
BIT_INFO 0 file->f_mode 0x4,0xffffffff
RX_PATH
TASK_NOT_RUNNING

fs/nfsd/nfs4proc.c nfsd4_seek() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 2 whence 3-4
FUZZY_MAX 2 whence 4
HARD_MAX 2 whence 4

fs/overlayfs/copy_up.c ovl_copy_up_file() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 offset 0-s64max
PARAM_VALUE 2 whence 3
CAPPED_DATA 0 file 1
CAPPED_DATA 0 file->f_cred 1
CAPPED_DATA 0 file->f_path.dentry 1
DATA_SOURCE 0 file r ovl_path_open
BIT_INFO 0 file->f_mode 0x4,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 offset
HALF_LOCKED2 &dentry->d_lockref.lock

fs/overlayfs/file.c ovl_llseek() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
CAPPED_DATA 0 file 1
DATA_SOURCE 0 file r ovl_real_file
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

fs/read_write.c __do_sys_llseek() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 2 whence 0-4
DATA_SOURCE 2 whence $4
USER_DATA 1 offset s64min-s64max
USER_DATA 2 whence 0-4

fs/read_write.c __do_sys_llseek() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 2 whence 0-4
DATA_SOURCE 2 whence $4
USER_DATA 1 offset s64min-s64max
USER_DATA 2 whence 0-4

fs/read_write.c ksys_lseek() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
PARAM_VALUE 2 whence 0-4
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 whence $2
USER_DATA 1 offset s64min-s64max
USER_DATA 2 whence 0-4

fs/cachefiles/io.c __cachefiles_prepare_write() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 1-u64max
PARAM_VALUE 2 whence 3
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 file $1
BIT_INFO 1 offset 0x0,0x7ffffffffffff000
BIT_INFO 1 offset 0x0,0x7ffffffffffff000
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset s64min-(-4096),0,4096-s64max[c]

fs/cachefiles/io.c __cachefiles_prepare_write() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 1-u64max
PARAM_VALUE 2 whence 4
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 file $1
BIT_INFO 1 offset 0x0,0x7ffffffffffff000
BIT_INFO 1 offset 0x0,0x7ffffffffffff000
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset s64min-(-4096),0,4096-s64max[c]
UNITS 1 offset unit_byte

fs/cachefiles/io.c cachefiles_do_prepare_read() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 offset s64min-9223372036854775806
PARAM_VALUE 2 whence 3
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset s64min-(-2),0-9223372036854775806[c]
UNITS 1 offset unit_byte

fs/cachefiles/io.c cachefiles_do_prepare_read() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 offset s64min-9223372036854775806
PARAM_VALUE 2 whence 4
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset s64min-(-2),0-9223372036854775806[c]
UNITS 1 offset unit_byte

fs/cachefiles/io.c cachefiles_query_occupancy() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 2 whence 3
DATA_SOURCE 1 offset $1

fs/cachefiles/io.c cachefiles_query_occupancy() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 1 offset s64min-(-4096),0-s64max
PARAM_VALUE 2 whence 4
FUZZY_MAX 1 offset 0

fs/cachefiles/io.c cachefiles_read() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 whence 3
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dvnode->validate_lock
HALF_LOCKED2 &vnode->validate_lock
TYPE_LOCK (struct afs_vnode)->validate_lock

fs/xfs/scrub/xfile.c xfile_seek_data() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 2 whence 3
DATA_SOURCE 1 offset $1
UNITS 1 offset unit_byte
HALF_LOCKED2 &xqc->lock

fs/nfsd/vfs.c nfsd_buffered_readdir() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_flags 0-s32max
PARAM_VALUE 0 file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 file->f_iocb_flags 0,2,4,6,16,18,20,22,131072,131074,131076,131078,131088,131090,131092,131094
PARAM_VALUE 0 file->f_mode 0,512-u32max
PARAM_VALUE 0 file->f_op 4096-ptr_max
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 0 file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 file->f_ra.async_size 0
PARAM_VALUE 0 file->f_ra.mmap_miss 0
PARAM_VALUE 0 file->f_ra.order 0
PARAM_VALUE 0 file->f_ra.prev_pos (-1)-0
PARAM_VALUE 0 file->f_ra.ra_pages 0
PARAM_VALUE 0 file->f_ra.size 0
PARAM_VALUE 0 file->f_ra.start 0
PARAM_VALUE 0 file->f_ref.refcnt.counter 0
PARAM_VALUE 0 file->f_sb_err 0
PARAM_VALUE 0 file->f_security 0
PARAM_VALUE 0 file->f_wb_err 0
PARAM_VALUE 0 file->private_data 0
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 whence 1
DATA_SOURCE 0 file $0

fs/nfsd/vfs.c nfsd_readdir() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_flags 32768-32770
PARAM_VALUE 0 file->f_iocb_flags 0,2,4,6,16,18,20,22,131072,131074,131076,131078,131088,131090,131092,131094
PARAM_VALUE 0 file->f_mode 0,512-u32max
PARAM_VALUE 0 file->f_pos 0
PARAM_VALUE 0 file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 file->f_ra.async_size 0
PARAM_VALUE 0 file->f_ra.mmap_miss 0
PARAM_VALUE 0 file->f_ra.order 0
PARAM_VALUE 0 file->f_ra.prev_pos (-1)-0
PARAM_VALUE 0 file->f_ra.ra_pages 0
PARAM_VALUE 0 file->f_ra.size 0
PARAM_VALUE 0 file->f_ra.start 0
PARAM_VALUE 0 file->f_ref.refcnt.counter 0
PARAM_VALUE 0 file->f_sb_err 0
PARAM_VALUE 0 file->f_security 0
PARAM_VALUE 0 file->f_wb_err 0
PARAM_VALUE 0 file->private_data 0
PARAM_VALUE 2 whence 0

fs/overlayfs/readdir.c ovl_dir_llseek() -> vfs_llseek()

Type Parameter Key Value
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

fs/smb/server/vfs.c ksmbd_vfs_fqar_lseek() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 offset 0-9223372036854775806
PARAM_VALUE 2 whence 3
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 1 offset $1 [m]
UNITS 1 offset unit_byte
LOCK2 &pool->lock

fs/smb/server/vfs.c ksmbd_vfs_fqar_lseek() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 offset 0-9223372036854775806
PARAM_VALUE 2 whence 4
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 1 offset r vfs_llseek
UNITS 1 offset unit_byte
LOCK2 &pool->lock

fs/ecryptfs/file.c ecryptfs_dir_llseek() -> vfs_llseek()

Type Parameter Key Value
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

fs/nfsd/nfs4recover.c nfsd4_list_rec_dir() -> vfs_llseek()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 whence 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &nfsd_mutex