Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
mm/shmem.c shmem_undo_range() -> truncate_inode_partial_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | folio->mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| DATA_SOURCE | 0 | folio | r shmem_get_partial_folio |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | (-9223372036854775807)-(-4096),0-s64max |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| HALF_LOCKED2 | &encl->lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | obj->base.resv |
mm/shmem.c shmem_undo_range() -> truncate_inode_partial_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | folio->mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | *folio->_mm_id | 0-4294967295 |
| DATA_SOURCE | 0 | folio | r shmem_get_partial_folio |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| NOSPEC | 1 | start | |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | (-9223372036854775807)-(-4096),0-s64max |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| HALF_LOCKED2 | &encl->lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | obj->base.resv |
mm/shmem.c shmem_undo_range() -> truncate_inode_partial_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->_deferred_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->_deferred_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->_hugetlb_subpool->hstate->next_nid_to_free | s32min-1023 |
| PARAM_VALUE | 0 | folio->lru.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->lru.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | folio->mapping->i_mmap_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | folio->mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | folio->mapping->i_mmap_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | folio->mapping->i_mmap_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | folio->mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | folio->mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *folio->_mm_id | 0-4294967295 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 2 | end | 4096-8796093018111[c] |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
mm/truncate.c truncate_inode_pages_range() -> truncate_inode_partial_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| DATA_SOURCE | 0 | folio | r __filemap_get_folio |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | s64min-s64max |
| USER_DATA | 2 | end | s64min-(-2),0-s64max |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode_out->i_rwsem | ||
| HALF_LOCKED2 | &journal->j_checkpoint_mutex | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &sbi->cp_global_sem.internal_rwsem | ||
| HALF_LOCKED2 | &sbi->gc_lock.internal_rwsem |
mm/truncate.c truncate_inode_pages_range() -> truncate_inode_partial_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 1-1025,1027-1029,1031-ptr_max |
| PARAM_VALUE | 0 | *folio->_mm_id | 0-4294967295 |
| DATA_SOURCE | 0 | folio | r __filemap_get_folio |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | end | $2 |
| NOSPEC | 1 | start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | s64min-s64max |
| USER_DATA | 2 | end | s64min-(-2),0-s64max |
| UNITS | 1 | start | unit_byte |
| UNITS | 2 | end | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode_out->i_rwsem | ||
| HALF_LOCKED2 | &journal->j_checkpoint_mutex | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &sbi->cp_global_sem.internal_rwsem | ||
| HALF_LOCKED2 | &sbi->gc_lock.internal_rwsem |