Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 13 files:
- fs/cachefiles/io.c
- fs/cachefiles/ondemand.c, line 110
- fs/coredump.c, line 1231
- fs/ecryptfs/file.c, line 338
- fs/nfsd/nfs4proc.c, line 2541
- fs/nfsd/nfs4recover.c, line 231
- fs/nfsd/vfs.c
- fs/overlayfs/copy_up.c, line 332
- fs/overlayfs/file.c, line 276
- fs/overlayfs/readdir.c, line 925
- fs/read_write.c
- fs/smb/server/vfs.c
- fs/xfs/scrub/xfile.c, line 236
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 |