Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- fs/ioctl.c, line 239
- fs/nfsd/vfs.c, line 702
- fs/overlayfs/copy_up.c, line 284
- fs/overlayfs/file.c, line 576
- fs/remap_range.c, line 413
- fs/smb/server/smb2pdu.c, line 9387
Smatch caller information:
fs/overlayfs/copy_up.c ovl_copy_up_file() -> vfs_clone_file_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file_in | 4096-ptr_max |
| PARAM_VALUE | 1 | pos_in | 0 |
| PARAM_VALUE | 2 | file_out | 4096-ptr_max |
| PARAM_VALUE | 2 | file_out->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 3 | pos_out | 0 |
| PARAM_VALUE | 5 | remap_flags | 0 |
| CAPPED_DATA | 0 | file_in | 1 |
| CAPPED_DATA | 0 | file_in->f_cred | 1 |
| CAPPED_DATA | 0 | file_in->f_path.dentry | 1 |
| CAPPED_DATA | 2 | file_out | 1 |
| DATA_SOURCE | 0 | file_in | r ovl_path_open |
| DATA_SOURCE | 2 | file_out | $2 |
| DATA_SOURCE | 4 | len | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 4 | len | unit_byte |
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/overlayfs/file.c ovl_copyfile() -> vfs_clone_file_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file_in | 1-ptr_max |
| PARAM_VALUE | 1 | pos_in | 0-s64max |
| PARAM_VALUE | 2 | file_out | 1-ptr_max |
| PARAM_VALUE | 3 | pos_out | 0-s64max |
| PARAM_VALUE | 4 | len | 0-s64max |
| PARAM_VALUE | 5 | remap_flags | 0-2 |
| BUF_SIZE | 0 | file_in | s32min,(-1)-s32max |
| BUF_SIZE | 0 | file_in | s32min,(-1)-s32max |
| BUF_SIZE | 2 | file_out | s32min,(-1)-s32max |
| BUF_SIZE | 2 | file_out | s32min,(-1)-s32max |
| CAPPED_DATA | 0 | file_in | 1 |
| CAPPED_DATA | 1 | pos_in | 1 |
| CAPPED_DATA | 1 | pos_in | 1 |
| CAPPED_DATA | 2 | file_out | 1 |
| CAPPED_DATA | 3 | pos_out | 1 |
| CAPPED_DATA | 3 | pos_out | 1 |
| CAPPED_DATA | 4 | len | 1 |
| CAPPED_DATA | 4 | len | 1 |
| DATA_SOURCE | 0 | file_in | r ovl_real_file |
| DATA_SOURCE | 1 | pos_in | $1 |
| DATA_SOURCE | 2 | file_out | r ovl_real_file |
| DATA_SOURCE | 3 | pos_out | $3 |
| DATA_SOURCE | 4 | len | $4 |
| DATA_SOURCE | 5 | remap_flags | $5 |
| NOSPEC | 1 | pos_in | |
| NOSPEC | 1 | pos_in | |
| NOSPEC | 3 | pos_out | |
| NOSPEC | 3 | pos_out | |
| NOSPEC | 4 | len | |
| NOSPEC | 4 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | pos_in | 0-s64max[c] |
| USER_DATA | 3 | pos_out | 0-s64max[c] |
| USER_DATA | 4 | len | 0-s64max[c] |
| NO_OVERFLOW_SIMPLE | 1 | pos_in | |
| NO_OVERFLOW_SIMPLE | 4 | len | |
| LOCK2 | &inode_out->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/nfsd/vfs.c nfsd4_clone_file_range() -> vfs_clone_file_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file_in->f_security | 0 |
| PARAM_VALUE | 0 | file_in->f_task_work.func | 5179756662909861888 |
| PARAM_VALUE | 2 | file_out->f_security | 0 |
| PARAM_VALUE | 2 | file_out->f_task_work.func | 5179756662909861888 |
| PARAM_VALUE | 5 | remap_flags | 0 |
| DATA_SOURCE | 1 | pos_in | $2 |
| DATA_SOURCE | 3 | pos_out | $4 |
| DATA_SOURCE | 4 | len | $5 |
fs/ioctl.c ioctl_file_clone() -> vfs_clone_file_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file_in | 0,4-u64max |
| PARAM_VALUE | 2 | file_out | 0,4-u64max |
| PARAM_VALUE | 5 | remap_flags | 0 |
| DATA_SOURCE | 1 | pos_in | $2 |
| DATA_SOURCE | 2 | file_out | $0 |
| DATA_SOURCE | 3 | pos_out | $4 |
| DATA_SOURCE | 4 | len | $3 |
| USER_DATA | 1 | pos_in | s64min-s64max |
| USER_DATA | 3 | pos_out | s64min-s64max |
| USER_DATA | 4 | len | s64min-s64max |
fs/smb/server/smb2pdu.c smb2_ioctl() -> vfs_clone_file_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pos_in | 0-s64max |
| PARAM_VALUE | 3 | pos_out | 0-s64max |
| PARAM_VALUE | 5 | remap_flags | 0 |
| HALF_LOCKED2 | &pool->lock |