Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

mm/madvise.c madvise_remove() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_mapping 4096-ptr_max
PARAM_VALUE 0 file->f_mapping->host 1-u64max
PARAM_VALUE 1 mode 3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 offset s64min-s64max
UNITS 2 offset unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &madv_behavior->mm->mmap_lock

fs/cachefiles/interface.c cachefiles_shorten_object() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_mapping->host->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 mode 16
PARAM_VALUE 2 offset s64min-9223372036854775806
PARAM_VALUE 3 len s64min-(-1),1-s64max
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 file $1
DATA_SOURCE 2 offset $2
NOSPEC 2 offset
NOSPEC 2 offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 file->f_path.dentry->d_inode->i_mode 0-u16max
USER_DATA 0 file->f_path.dentry->d_inode->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 2 offset (-9223372036854775807)-(-4096),0-9223372036854775806[c]
USER_DATA 3 len s64min-(-1),1-s64max[c]
HALF_LOCKED2 &ci->i_truncate_mutex
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem

fs/overlayfs/file.c ovl_fallocate() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 0 file 1-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 mode $1
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 len $3
NOSPEC 2 offset
NOSPEC 2 offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 file->f_flags 0-u32max
USER_DATA 0 file->f_mode 0,131072-u32max
USER_DATA 1 mode 0-254
USER_DATA 2 offset 0-s64max
USER_DATA 3 len 1-s64max
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

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

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

fs/nfsd/vfs.c nfsd4_vfs_fallocate() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 mode 0,3
DATA_SOURCE 0 file $2
DATA_SOURCE 1 mode $5
DATA_SOURCE 2 offset $3
DATA_SOURCE 3 len $4
HARD_MAX 1 mode 3

io_uring/sync.c io_fallocate() -> vfs_fallocate()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

fs/ioctl.c compat_ioctl_preallocate() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 mode 1,3,17
DATA_SOURCE 0 file $0
BIT_INFO 1 mode 0x1,0x1f
USER_DATA 2 offset s64min-s64max
USER_DATA 3 len s64min-s64max

fs/ioctl.c ioctl_preallocate() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 1 mode 1,3,17
DATA_SOURCE 0 file $0
BIT_INFO 1 mode 0x1,0x1f
USER_DATA 2 offset s64min-s64max
USER_DATA 3 len s64min-s64max

fs/smb/server/smb2pdu.c set_file_allocation_info() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.dentry 4096-ptr_max
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_ctime_nsec.counter 0-s32max
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576
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_path.dentry->d_inode->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360
PARAM_VALUE 1 mode 1
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 len 512-9223372036854775296
LOCK2 &pool->lock

fs/smb/server/vfs.c ksmbd_vfs_zero_data() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576
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_path.dentry->d_inode->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360
PARAM_VALUE 1 mode 3
PARAM_VALUE 2 offset 0-s64max
PARAM_VALUE 3 len 1-s64max
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 len $3
LOCK2 &pool->lock

fs/smb/server/vfs.c ksmbd_vfs_zero_data() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648
PARAM_VALUE 0 file->f_path.dentry->d_inode->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576
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_path.dentry->d_inode->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360
PARAM_VALUE 1 mode 17
PARAM_VALUE 2 offset 0-s64max
PARAM_VALUE 3 len 1-s64max
CAPPED_DATA 2 offset 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 len $3
LOCK2 &pool->lock

fs/open.c ksys_fallocate() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
DATA_SOURCE 1 mode $1
DATA_SOURCE 2 offset $2
DATA_SOURCE 3 len $3
USER_DATA 1 mode s32min-s32max
USER_DATA 2 offset s64min-s64max
USER_DATA 3 len s64min-s64max

drivers/nvme/target/io-cmd-file.c nvmet_file_execute_discard() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 1 mode 3
USER_DATA 3 len 0-4294967295
HALF_LOCKED2 &pool->lock

drivers/nvme/target/io-cmd-file.c nvmet_file_write_zeroes_work() -> vfs_fallocate()

Type Parameter Key Value
PARAM_VALUE 1 mode 17
HALF_LOCKED2 &pool->lock