Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/smb/client/smb2ops.c smb3_simple_fallocate_range() -> smb3_simple_fallocate_write_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | tcon | 4096-ptr_max |
| PARAM_VALUE | 1 | tcon->ses | 4096-ptr_max |
| PARAM_VALUE | 1 | tcon->ses->server | 4096-ptr_max |
| PARAM_VALUE | 1 | tcon->ses->server->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | tcon->ses->server->ops->fallocate | 7926336135924965376 |
| PARAM_VALUE | 2 | cfile | 4096-ptr_max |
| PARAM_VALUE | 2 | cfile->dentry | 4096-ptr_max |
| PARAM_VALUE | 4 | len | s64min-1048576 |
| PARAM_VALUE | 5 | buf | 1-18446744073709551614 |
| BUF_SIZE | 2 | cfile | s32min-(-2),1-s32max |
| BUF_SIZE | 2 | cfile | s32min-(-2),1-s32max |
| BUF_SIZE | 5 | buf | 0-65536,9223372036854775808-u64max |
| BUF_SIZE | 5 | buf | 0-65536,9223372036854775808-u64max |
| DATA_SOURCE | 0 | xid | $0 |
| DATA_SOURCE | 1 | tcon | $1 |
| DATA_SOURCE | 2 | cfile | $2 |
| DATA_SOURCE | 3 | off | $3 |
| DATA_SOURCE | 4 | len | $4 |
| DATA_SOURCE | 5 | buf | r __kvmalloc_node_noprof |
| BIT_INFO | 4 | len | 0x0,0x7fffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | off | 0-s64max |
| USER_DATA | 4 | len | s64min-1048576 |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/smb/client/smb2ops.c smb3_simple_fallocate_range() -> smb3_simple_fallocate_write_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | tcon | 4096-ptr_max |
| PARAM_VALUE | 1 | tcon->ses->server->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | tcon->ses->server->ops->fallocate | 7926336135924965376 |
| PARAM_VALUE | 1 | *tcon->ses->ip_addr | 0-255 |
| PARAM_VALUE | 1 | *tcon->ses->preauth_sha_hash | 0-255 |
| PARAM_VALUE | 1 | *tcon->ses->server->cryptkey | 0-255 |
| PARAM_VALUE | 2 | cfile | 4096-ptr_max |
| PARAM_VALUE | 2 | cfile->dentry | 4096-ptr_max |
| PARAM_VALUE | 2 | cfile->dentry->d_inode->i_size | (-9223372036854775807)-s64max |
| PARAM_VALUE | 4 | len | s64min-(-1),1-s64max |
| PARAM_VALUE | 5 | buf | 1-18446744073709551614 |
| BUF_SIZE | 2 | cfile | s32min-(-2),1-s32max |
| BUF_SIZE | 2 | cfile | s32min-(-2),1-s32max |
| BUF_SIZE | 5 | buf | 0-65536,9223372036854775808-u64max |
| BUF_SIZE | 5 | buf | 0-65536,9223372036854775808-u64max |
| DATA_SOURCE | 0 | xid | $0 |
| DATA_SOURCE | 1 | tcon | $1 |
| DATA_SOURCE | 2 | cfile | $2 |
| DATA_SOURCE | 3 | off | $3 [m] |
| DATA_SOURCE | 4 | len | $4 [m] |
| DATA_SOURCE | 5 | buf | r __kvmalloc_node_noprof |
| NOSPEC | 3 | off | |
| NOSPEC | 3 | off | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | off | s64min-9223372036854775806[c] |
| USER_DATA | 4 | len | s64min-(-1),1-s64max |
| NO_OVERFLOW_SIMPLE | 3 | off | |
| UNITS | 3 | off | unit_byte |
| UNITS | 4 | len | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/smb/client/smb2ops.c smb3_simple_fallocate_range() -> smb3_simple_fallocate_write_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | tcon | 4096-ptr_max |
| PARAM_VALUE | 1 | tcon->ses->server->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | tcon->ses->server->ops->fallocate | 7926336135924965376 |
| PARAM_VALUE | 1 | *tcon->ses->ip_addr | 0-255 |
| PARAM_VALUE | 1 | *tcon->ses->preauth_sha_hash | 0-255 |
| PARAM_VALUE | 1 | *tcon->ses->server->cryptkey | 0-255 |
| PARAM_VALUE | 2 | cfile | 4096-ptr_max |
| PARAM_VALUE | 2 | cfile->dentry | 4096-ptr_max |
| PARAM_VALUE | 2 | cfile->dentry->d_inode->i_size | (-9223372036854775807)-s64max |
| PARAM_VALUE | 3 | off | s64min-(-2),0-s64max |
| PARAM_VALUE | 4 | len | s64min-(-1),1-s64max |
| PARAM_VALUE | 5 | buf | 1-18446744073709551614 |
| BUF_SIZE | 2 | cfile | s32min-(-2),1-s32max |
| BUF_SIZE | 2 | cfile | s32min-(-2),1-s32max |
| BUF_SIZE | 5 | buf | 0-65536,9223372036854775808-u64max |
| BUF_SIZE | 5 | buf | 0-65536,9223372036854775808-u64max |
| CAPPED_DATA | 3 | off | 1 |
| CAPPED_DATA | 3 | off | 1 |
| CAPPED_DATA | 4 | len | 1 |
| CAPPED_DATA | 4 | len | 1 |
| DATA_SOURCE | 0 | xid | $0 |
| DATA_SOURCE | 1 | tcon | $1 |
| DATA_SOURCE | 2 | cfile | $2 |
| DATA_SOURCE | 3 | off | $3 [m] |
| DATA_SOURCE | 5 | buf | r __kvmalloc_node_noprof |
| NOSPEC | 3 | off | |
| NOSPEC | 3 | off | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | off | 0-9223372036854775806[c] |
| USER_DATA | 4 | len | s64min-(-1),1-s64max[c] |
| NO_OVERFLOW_SIMPLE | 3 | off | |
| UNITS | 3 | off | unit_byte |
| UNITS | 4 | len | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |