Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/ecryptfs/read_write.c ecryptfs_write() -> ecryptfs_write_lower_page_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ecryptfs_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | ecryptfs_inode->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 1 | folio_for_lower | 4096-ptr_max |
| PARAM_VALUE | 2 | offset_in_page | 0-4094 |
| PARAM_VALUE | 3 | size | 0-9223372036854779903 |
| CAPPED_DATA | 2 | offset_in_page | 1 |
| CAPPED_DATA | 2 | offset_in_page | 1 |
| DATA_SOURCE | 0 | ecryptfs_inode | $0 |
| DATA_SOURCE | 1 | folio_for_lower | r read_mapping_folio |
| NOSPEC | 2 | offset_in_page | |
| NOSPEC | 2 | offset_in_page | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ecryptfs_inode->i_mode | 0-u16max |
| USER_DATA | 0 | ecryptfs_inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| USER_DATA | 2 | offset_in_page | 0-4094[c] |
| USER_DATA | 3 | size | 2-8192[c][u] |
| UNITS | 2 | offset_in_page | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ecryptfs/mmap.c ecryptfs_write_end() -> ecryptfs_write_lower_page_segment()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | offset_in_page | 0 |
| DATA_SOURCE | 1 | folio_for_lower | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |