Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 10 files:
- fs/ext2/inode.c, line 893
- fs/fat/inode.c, line 205
- fs/gfs2/aops.c, line 432
- fs/hpfs/file.c, line 167
- fs/isofs/inode.c, line 1150
- fs/jfs/inode.c, line 281
- fs/mpage.c, line 399
- fs/nilfs2/inode.c, line 151
- fs/qnx6/inode.c, line 100
- fs/udf/inode.c, line 231
Smatch caller information:
fs/udf/inode.c udf_read_folio() -> mpage_read_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext2/inode.c ext2_read_folio() -> mpage_read_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/gfs2/aops.c gfs2_read_folio() -> mpage_read_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->host->i_sb | 4096-ptr_max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/isofs/inode.c isofs_read_folio() -> mpage_read_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/jfs/inode.c jfs_read_folio() -> mpage_read_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/fat/inode.c fat_read_folio() -> mpage_read_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/hpfs/file.c hpfs_read_folio() -> mpage_read_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/qnx6/inode.c qnx6_read_folio() -> mpage_read_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/nilfs2/inode.c nilfs_read_folio() -> mpage_read_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 0 | folio->mapping | 1 |
| DATA_SOURCE | 0 | folio | $1 |
| NOSPEC | 0 | folio->mapping->writeback_index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | folio->mapping->writeback_index | 0-524287[c] |
| HALF_LOCKED2 | &mapping->invalidate_lock |