Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- fs/buffer.c, line 2268
- fs/ext2/inode.c, line 948
- fs/ext4/inode.c
- fs/gfs2/aops.c, line 733
- fs/nilfs2/inode.c, line 269
- fs/ocfs2/aops.c, line 2477
Smatch caller information:
mm/filemap.c filemap_range_uptodate() -> (struct address_space_operations)->is_partially_uptodate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 1-u64max |
| DATA_SOURCE | 0 | folio | $3 |
| DATA_SOURCE | 1 | from | $1 [m] |
| DATA_SOURCE | 2 | count | $2 [m] |
| NOSPEC | 1 | from | |
| NOSPEC | 1 | from | |
| NOSPEC | 2 | count | |
| NOSPEC | 2 | count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | from | 0-15737418236[c] |
| USER_DATA | 2 | count | 0-9223372036854775807,18446744073709543425-u64max |
| NO_OVERFLOW_SIMPLE | 1 | from | |
| LOCK2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock |
mm/filemap.c folio_seek_hole_data() -> (struct address_space_operations)->is_partially_uptodate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 0-u32max |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| CAPPED_DATA | 1 | from | 1 |
| CAPPED_DATA | 1 | from | 1 |
| CAPPED_DATA | 2 | count | 1 |
| CAPPED_DATA | 2 | count | 1 |
| DATA_SOURCE | 0 | folio | $2 |
| DATA_SOURCE | 2 | count | r i_blocksize |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | from | 0-18446744073709547520[c] |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |