Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/smb/server/vfs.c ksmbd_vfs_copy_file_ranges() -> check_lock_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | type | 0 |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| LOCK2 | &pool->lock |
fs/smb/server/vfs.c ksmbd_vfs_copy_file_ranges() -> check_lock_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | filp->f_path.dentry->d_inode->i_sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360 |
| PARAM_VALUE | 3 | type | 1 |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| LOCK2 | &pool->lock |
fs/smb/server/vfs.c ksmbd_vfs_read() -> check_lock_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 1 | start | 0-s64max |
| PARAM_VALUE | 2 | end | s64min-(-9223372032559808515),0-s64max |
| PARAM_VALUE | 3 | type | 0 |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| LOCK2 | &pool->lock |
fs/smb/server/vfs.c ksmbd_vfs_truncate() -> check_lock_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_size | (-9223372036854775807)-s64max |
| PARAM_VALUE | 1 | start | s64min-9223372036854775806 |
| PARAM_VALUE | 3 | type | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 1 | start | $2 |
| CONSTRAINT | 1 | start | <3994 |
| LOCK2 | &pool->lock |
fs/smb/server/vfs.c ksmbd_vfs_truncate() -> check_lock_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 4096-ptr_max |
| PARAM_VALUE | 0 | filp->f_inode->i_size | s64min-9223372036854775806 |
| PARAM_VALUE | 1 | start | s64min-9223372036854775806 |
| PARAM_VALUE | 3 | type | 1 |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| LOCK2 | &pool->lock |
fs/smb/server/vfs.c ksmbd_vfs_write() -> check_lock_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | start | 0-s64max |
| PARAM_VALUE | 3 | type | 1 |
| USER_DATA | 1 | start | 0-s64max |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| LOCK2 | &pool->lock |