Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/ntfs/mft.c map_extent_mft_record() -> ntfs_clear_extent_inode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ni | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->allocated_size | 0 |
| PARAM_VALUE | 0 | ni->attr_list | 0 |
| PARAM_VALUE | 0 | ni->attr_list_size | 0 |
| PARAM_VALUE | 0 | ni->ext.base_ntfs_ino | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->ext.base_ntfs_ino->extent_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ni->ext.base_ntfs_ino->vol | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->extent_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ni->extent_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | ni->extent_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->extent_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ni->extent_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | ni->flags | 0 |
| PARAM_VALUE | 0 | ni->folio | 0 |
| PARAM_VALUE | 0 | ni->folio_ofs | 0 |
| PARAM_VALUE | 0 | ni->i_dealloc_clusters | 0 |
| PARAM_VALUE | 0 | ni->initialized_size | 0 |
| PARAM_VALUE | 0 | ni->itype.index.block_size | 0 |
| PARAM_VALUE | 0 | ni->itype.index.block_size_bits | 0 |
| PARAM_VALUE | 0 | ni->itype.index.collation_rule | 0 |
| PARAM_VALUE | 0 | ni->itype.index.vcn_size | 0 |
| PARAM_VALUE | 0 | ni->itype.index.vcn_size_bits | 0 |
| PARAM_VALUE | 0 | ni->mft_lcn_count | 0 |
| PARAM_VALUE | 0 | ni->mft_no | 0-281474976710655 |
| PARAM_VALUE | 0 | ni->mrec->magic | 1145127234 |
| PARAM_VALUE | 0 | ni->mrec_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ni->mrec_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | ni->mrec_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->mrec_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ni->mrec_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | ni->name | 0 |
| PARAM_VALUE | 0 | ni->name_len | 0 |
| PARAM_VALUE | 0 | ni->nr_extents | (-1) |
| PARAM_VALUE | 0 | ni->reparse_flags | 0 |
| PARAM_VALUE | 0 | ni->reparse_tag | 0 |
| PARAM_VALUE | 0 | ni->runlist.count | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.count.counter | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ni->runlist.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->runlist.lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | ni->runlist.rl | 0 |
| PARAM_VALUE | 0 | ni->runlist.rl_hint | (-1) |
| PARAM_VALUE | 0 | ni->size_lock.magic | 3736018669 |
| PARAM_VALUE | 0 | ni->size_lock.owner | (-1) |
| PARAM_VALUE | 0 | ni->size_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ni->state | 0 |
| PARAM_VALUE | 0 | ni->target | 0 |
| PARAM_VALUE | 0 | ni->type | 0 |
| PARAM_VALUE | 0 | ni->vol | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->vol->sb | 0,4096-ptr_max |
| CAPPED_DATA | 0 | ni->mft_no | 1 |
| DATA_SOURCE | 0 | ni | r ntfs_new_extent_inode |
| NOSPEC | 0 | ni->ext.base_ntfs_ino->initialized_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ni->ext.base_ntfs_ino->allocated_size | 8-s32max |
| USER_DATA | 0 | ni->ext.base_ntfs_ino->initialized_size | 0-9223372036854775806 |
| NO_OVERFLOW_SIMPLE | 0 | ni->ext.base_ntfs_ino->attr_list_size | |
| NO_OVERFLOW_SIMPLE | 0 | ni->ext.base_ntfs_ino->i_dealloc_clusters | |
| NO_OVERFLOW_SIMPLE | 0 | ni->ext.base_ntfs_ino->runlist.count | |
| HALF_LOCKED2 | &dir_ni->mrec_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mft_ni->mrec_lock | ||
| HALF_LOCKED2 | &mftbmp_ni->runlist.lock | ||
| HALF_LOCKED2 | &ndir->mrec_lock | ||
| HALF_LOCKED2 | &ni->mrec_lock | ||
| HALF_LOCKED2 | &ni->runlist.lock | ||
| HALF_LOCKED2 | &vi->i_rwsem | ||
| HALF_LOCKED2 | &vol->mftbmp_lock | ||
| HALF_LOCKED2 | &vol_ni->mrec_lock |
fs/ntfs/mft.c map_extent_mft_record() -> ntfs_clear_extent_inode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ni | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->allocated_size | 0 |
| PARAM_VALUE | 0 | ni->attr_list | 0 |
| PARAM_VALUE | 0 | ni->attr_list_size | 0 |
| PARAM_VALUE | 0 | ni->ext.base_ntfs_ino | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->ext.base_ntfs_ino->extent_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ni->ext.base_ntfs_ino->nr_extents | 1-s32max |
| PARAM_VALUE | 0 | ni->ext.base_ntfs_ino->vol | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->extent_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ni->extent_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | ni->extent_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->extent_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ni->extent_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | ni->flags | 0 |
| PARAM_VALUE | 0 | ni->folio | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->folio_ofs | 0-4095 |
| PARAM_VALUE | 0 | ni->i_dealloc_clusters | 0 |
| PARAM_VALUE | 0 | ni->initialized_size | 0 |
| PARAM_VALUE | 0 | ni->itype.index.block_size | 0 |
| PARAM_VALUE | 0 | ni->itype.index.block_size_bits | 0 |
| PARAM_VALUE | 0 | ni->itype.index.collation_rule | 0 |
| PARAM_VALUE | 0 | ni->itype.index.vcn_size | 0 |
| PARAM_VALUE | 0 | ni->itype.index.vcn_size_bits | 0 |
| PARAM_VALUE | 0 | ni->mft_lcn_count | 0 |
| PARAM_VALUE | 0 | ni->mft_no | 0-281474976710655 |
| PARAM_VALUE | 0 | ni->mrec | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->mrec_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ni->mrec_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | ni->mrec_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->mrec_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ni->mrec_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | ni->name | 0 |
| PARAM_VALUE | 0 | ni->name_len | 0 |
| PARAM_VALUE | 0 | ni->nr_extents | (-1) |
| PARAM_VALUE | 0 | ni->reparse_flags | 0 |
| PARAM_VALUE | 0 | ni->reparse_tag | 0 |
| PARAM_VALUE | 0 | ni->runlist.count | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.count.counter | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ni->runlist.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->runlist.lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | ni->runlist.rl | 0 |
| PARAM_VALUE | 0 | ni->runlist.rl_hint | (-1) |
| PARAM_VALUE | 0 | ni->size_lock.magic | 3736018669 |
| PARAM_VALUE | 0 | ni->size_lock.owner | (-1) |
| PARAM_VALUE | 0 | ni->size_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ni->state | 0 |
| PARAM_VALUE | 0 | ni->target | 0 |
| PARAM_VALUE | 0 | ni->type | 0 |
| PARAM_VALUE | 0 | ni->vol | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->vol->mft_record_size | 2-4000000 |
| PARAM_VALUE | 0 | *ni->mrec | 0-255 |
| CAPPED_DATA | 0 | ni->mft_no | 1 |
| DATA_SOURCE | 0 | ni | r ntfs_new_extent_inode |
| CONSTRAINT | 0 | ni->mrec->bytes_in_use | <=3990 |
| NOSPEC | 0 | ni->ext.base_ntfs_ino->initialized_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ni->ext.base_ntfs_ino->allocated_size | 8-s32max |
| USER_DATA | 0 | ni->ext.base_ntfs_ino->initialized_size | 0-9223372036854775806 |
| NO_OVERFLOW_SIMPLE | 0 | ni->ext.base_ntfs_ino->attr_list_size | |
| NO_OVERFLOW_SIMPLE | 0 | ni->ext.base_ntfs_ino->i_dealloc_clusters | |
| NO_OVERFLOW_SIMPLE | 0 | ni->ext.base_ntfs_ino->runlist.count | |
| HALF_LOCKED2 | &dir_ni->mrec_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mft_ni->mrec_lock | ||
| HALF_LOCKED2 | &mftbmp_ni->runlist.lock | ||
| HALF_LOCKED2 | &ndir->mrec_lock | ||
| HALF_LOCKED2 | &ni->mrec_lock | ||
| HALF_LOCKED2 | &ni->runlist.lock | ||
| HALF_LOCKED2 | &vi->i_rwsem | ||
| HALF_LOCKED2 | &vol->mftbmp_lock | ||
| HALF_LOCKED2 | &vol_ni->mrec_lock |
fs/ntfs/mft.c map_extent_mft_record() -> ntfs_clear_extent_inode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ni | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->allocated_size | 0 |
| PARAM_VALUE | 0 | ni->attr_list | 0 |
| PARAM_VALUE | 0 | ni->attr_list_size | 0 |
| PARAM_VALUE | 0 | ni->ext.base_ntfs_ino | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->ext.base_ntfs_ino->extent_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ni->ext.base_ntfs_ino->vol | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->extent_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ni->extent_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | ni->extent_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->extent_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ni->extent_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | ni->flags | 0 |
| PARAM_VALUE | 0 | ni->folio | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->folio_ofs | 0-4095 |
| PARAM_VALUE | 0 | ni->i_dealloc_clusters | 0 |
| PARAM_VALUE | 0 | ni->initialized_size | 0 |
| PARAM_VALUE | 0 | ni->itype.index.block_size | 0 |
| PARAM_VALUE | 0 | ni->itype.index.block_size_bits | 0 |
| PARAM_VALUE | 0 | ni->itype.index.collation_rule | 0 |
| PARAM_VALUE | 0 | ni->itype.index.vcn_size | 0 |
| PARAM_VALUE | 0 | ni->itype.index.vcn_size_bits | 0 |
| PARAM_VALUE | 0 | ni->mft_lcn_count | 0 |
| PARAM_VALUE | 0 | ni->mft_no | 0-281474976710655 |
| PARAM_VALUE | 0 | ni->mrec | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->mrec_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ni->mrec_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | ni->mrec_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->mrec_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ni->mrec_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | ni->name | 0 |
| PARAM_VALUE | 0 | ni->name_len | 0 |
| PARAM_VALUE | 0 | ni->nr_extents | (-1) |
| PARAM_VALUE | 0 | ni->reparse_flags | 0 |
| PARAM_VALUE | 0 | ni->reparse_tag | 0 |
| PARAM_VALUE | 0 | ni->runlist.count | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.count.counter | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ni->runlist.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->runlist.lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | ni->runlist.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | ni->runlist.rl | 0 |
| PARAM_VALUE | 0 | ni->runlist.rl_hint | (-1) |
| PARAM_VALUE | 0 | ni->size_lock.magic | 3736018669 |
| PARAM_VALUE | 0 | ni->size_lock.owner | (-1) |
| PARAM_VALUE | 0 | ni->size_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ni->state | 0 |
| PARAM_VALUE | 0 | ni->target | 0 |
| PARAM_VALUE | 0 | ni->type | 0 |
| PARAM_VALUE | 0 | ni->vol | 4096-ptr_max |
| PARAM_VALUE | 0 | ni->vol->mft_record_size | 2-4000000 |
| PARAM_VALUE | 0 | *ni->mrec | 0-255 |
| CAPPED_DATA | 0 | ni->mft_no | 1 |
| DATA_SOURCE | 0 | ni | r ntfs_new_extent_inode |
| CONSTRAINT | 0 | ni->mrec->bytes_in_use | <=3990 |
| NOSPEC | 0 | ni->ext.base_ntfs_ino->initialized_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ni->ext.base_ntfs_ino->allocated_size | 8-s32max |
| USER_DATA | 0 | ni->ext.base_ntfs_ino->initialized_size | 0-9223372036854775806 |
| NO_OVERFLOW_SIMPLE | 0 | ni->ext.base_ntfs_ino->attr_list_size | |
| NO_OVERFLOW_SIMPLE | 0 | ni->ext.base_ntfs_ino->i_dealloc_clusters | |
| NO_OVERFLOW_SIMPLE | 0 | ni->ext.base_ntfs_ino->runlist.count | |
| HALF_LOCKED2 | &dir_ni->mrec_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mft_ni->mrec_lock | ||
| HALF_LOCKED2 | &mftbmp_ni->runlist.lock | ||
| HALF_LOCKED2 | &ndir->mrec_lock | ||
| HALF_LOCKED2 | &ni->mrec_lock | ||
| HALF_LOCKED2 | &ni->runlist.lock | ||
| HALF_LOCKED2 | &vi->i_rwsem | ||
| HALF_LOCKED2 | &vol->mftbmp_lock | ||
| HALF_LOCKED2 | &vol_ni->mrec_lock |
fs/ntfs/inode.c ntfs_evict_big_inode() -> ntfs_clear_extent_inode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ni | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |