Defined in 1 files as a function:
Referenced in 5 files:
- fs/9p/vfs_inode.c, line 1150
- fs/9p/vfs_inode_dotl.c
- fs/afs/inode.c, line 272
- fs/smb/client/inode.c, line 232
- fs/smb/client/smb2ops.c, line 3566
Smatch caller information:
fs/afs/inode.c afs_apply_status() -> netfs_write_remote_i_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | 1160 |
| CAPPED_DATA | 1 | remote_i_size | 1 |
| CAPPED_DATA | 1 | remote_i_size | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &vnode->cb_lock.lock | ||
| LOCK2 | 0 | &inode->i_lock | |
| TYPE_LOCK | (struct inode)->i_lock | ||
| TYPE_LOCK | (struct seqlock)->lock |
fs/9p/vfs_inode_dotl.c v9fs_stat2inode_dotl() -> netfs_write_remote_i_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| DATA_SOURCE | 0 | inode | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max[c][u] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| LOCK2 | 0 | &inode->i_lock | |
| TYPE_LOCK | (struct inode)->i_lock |
fs/9p/vfs_inode_dotl.c v9fs_stat2inode_dotl() -> netfs_write_remote_i_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| DATA_SOURCE | 0 | inode | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| LOCK2 | 0 | &inode->i_lock | |
| TYPE_LOCK | (struct inode)->i_lock |
fs/smb/client/smb2ops.c smb3_punch_hole() -> netfs_write_remote_i_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | remote_i_size | 1-u64max |
| CAPPED_DATA | 0 | inode->i_mapping | 1 |
| CAPPED_DATA | 0 | inode->i_mapping->i_pages.xa_head | 1 |
| CAPPED_DATA | 1 | remote_i_size | 1 |
| CAPPED_DATA | 1 | remote_i_size | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | 0 | &inode->i_lock | |
| LOCK2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct inode)->i_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/9p/vfs_inode.c v9fs_stat2inode() -> netfs_write_remote_i_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| DATA_SOURCE | 0 | inode | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_mode | 0-u16max[c][u] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| UNITS | 1 | remote_i_size | unit_byte |
| LOCK2 | 0 | &inode->i_lock | |
| TYPE_LOCK | (struct inode)->i_lock |
fs/smb/client/inode.c cifs_fattr_to_inode() -> netfs_write_remote_i_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| PARAM_COMPARE | 0 | inode->i_sb->s_time_max | >= $0->i_sb->s_time_min |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| UNITS | 1 | remote_i_size | unit_byte |
| LOCK2 | 0 | &inode->i_lock | |
| TYPE_LOCK | (struct inode)->i_lock |