Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- fs/btrfs/direct-io.c, line 80
- fs/btrfs/inode.c, line 10050
- fs/netfs/direct_write.c, line 356
- mm/filemap.c
Smatch caller information:
fs/btrfs/inode.c btrfs_do_encoded_write() -> filemap_range_has_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | mapping->host->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | start_byte | s64min-9223372036854775806 |
| CAPPED_DATA | 1 | start_byte | 1 |
| CAPABLE | 0 | 21 | |
| BIT_INFO | 1 | start_byte | 0x0,0x7fffffffffffffff |
| NOSPEC | 1 | start_byte | |
| NOSPEC | 1 | start_byte | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start_byte | 1-1000000000[c] |
| USER_DATA | 2 | end_byte | (-1)-6294967293 |
| UNITS | 1 | start_byte | unit_byte |
| UNITS | 2 | end_byte | unit_byte |
mm/filemap.c filemap_invalidate_pages() -> filemap_range_has_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | mapping | $0 |
| DATA_SOURCE | 1 | start_byte | $1 |
| DATA_SOURCE | 2 | end_byte | $2 |
| NOSPEC | 1 | start_byte | |
| NOSPEC | 1 | start_byte | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start_byte | s64min-(-2),0-s64max |
| UNITS | 1 | start_byte | unit_byte |
| UNITS | 2 | end_byte | unit_byte |
fs/btrfs/direct-io.c lock_extent_direct() -> filemap_range_has_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | start_byte | $1 |
| DATA_SOURCE | 2 | end_byte | $2 |
| UNITS | 1 | start_byte | unit_byte |
| UNITS | 2 | end_byte | unit_byte |
fs/netfs/direct_write.c netfs_unbuffered_write_iter() -> filemap_range_has_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | mapping->host | 4096-ptr_max |
| PARAM_VALUE | 0 | mapping->host->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | mapping->host->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | mapping->host->i_rwsem.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | mapping->host->i_rwsem.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | mapping->host->i_rwsem.first_waiter->type | 0-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start_byte | s64min-(-2),0-s64max |
| UNITS | 1 | start_byte | unit_byte |
| UNITS | 2 | end_byte | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |