Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/ntfs/dir.c ntfs_readdir() -> ntfs_ia_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | icx | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->actx | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->actx->attr | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->block_size | 512-u32max |
| PARAM_VALUE | 0 | icx->ir | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->is_in_root | 1 |
| PARAM_VALUE | 0 | icx->parent_pos | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->parent_vcn | 4096-ptr_max |
| CAPPED_DATA | 0 | icx->block_size | 1 |
| DATA_SOURCE | 0 | icx | r ntfs_index_ctx_get |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &ndir->mrec_lock | ||
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem | ||
| TYPE_LOCK | (struct ntfs_inode)->mrec_lock |
fs/ntfs/index.c ntfs_ia_add() -> ntfs_ia_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | icx | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->actx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | icx->actx->al_entry->type | 0-31,33-u32max |
| PARAM_VALUE | 0 | icx->idx_ni | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->idx_ni->mrec->magic | 1145127234 |
| PARAM_VALUE | 0 | icx->idx_ni->runlist.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | icx->idx_ni->runlist.lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->runlist.lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | icx->idx_ni->runlist.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->attrdef | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->idx_ni->vol->attrdef_size | 1-s32max |
| PARAM_VALUE | 0 | icx->idx_ni->vol->lcnbmp_ino->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->lcnbmp_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->lcnbmp_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->lcnbmp_lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->lcnbmp_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mft_ino->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mft_ino->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mft_ino->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mft_ino->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mftbmp_ino->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mftbmp_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mftbmp_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->sb->s_fs_info->wb_err | 0-4294967295 |
| PARAM_VALUE | 0 | icx->ir | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->ir->index.allocated_size | 1-u32max |
| PARAM_VALUE | 0 | *icx->parent_pos | s32min-s32max |
| PARAM_VALUE | 1 | ni | 4096-ptr_max |
| PARAM_VALUE | 1 | ni->mrec->magic | 1145127234 |
| PARAM_VALUE | 1 | ni->runlist.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ni->runlist.lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ni->runlist.lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | ni->runlist.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ni->vol->attrdef | 4096-ptr_max |
| PARAM_VALUE | 1 | ni->vol->attrdef_size | 1-s32max |
| PARAM_VALUE | 1 | ni->vol->lcnbmp_ino->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 1 | ni->vol->lcnbmp_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ni->vol->lcnbmp_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ni->vol->lcnbmp_lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | ni->vol->lcnbmp_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ni->vol->mft_ino->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 1 | ni->vol->mft_ino->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 1 | ni->vol->mft_ino->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096 |
| PARAM_VALUE | 1 | ni->vol->mft_ino->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896 |
| PARAM_VALUE | 1 | ni->vol->mftbmp_ino->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 1 | ni->vol->mftbmp_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ni->vol->mftbmp_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ni->vol->sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648 |
| PARAM_VALUE | 1 | ni->vol->sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576 |
| PARAM_VALUE | 1 | ni->vol->sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360 |
| PARAM_VALUE | 1 | ni->vol->sb->s_fs_info->wb_err | 0-4294967295 |
| BUF_SIZE | 0 | icx | (-1)-s32max |
| BUF_SIZE | 0 | icx | (-1)-s32max |
| BUF_SIZE | 0 | icx->ia_ni | (-1),776 |
| DATA_SOURCE | 0 | icx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->base_attr->data.non_resident.mapping_pairs_offset | |
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->base_ntfs_ino->attr_list_size | |
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->base_ntfs_ino->i_dealloc_clusters | |
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->ntfs_ino->attr_list_size | |
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->ntfs_ino->i_dealloc_clusters | |
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->ntfs_ino->runlist.count | |
| NO_OVERFLOW_SIMPLE | 0 | icx->block_size | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->attr_list_size | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->ext.extent_ntfs_inos | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->runlist.count | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->runlist.rl | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->runlist.rl->length | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->vol->lcnbmp_ino->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->vol->mft_ino->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | ni->attr_list_size | |
| NO_OVERFLOW_SIMPLE | 1 | ni->ext.extent_ntfs_inos | |
| NO_OVERFLOW_SIMPLE | 1 | ni->runlist.count | |
| NO_OVERFLOW_SIMPLE | 1 | ni->runlist.rl | |
| NO_OVERFLOW_SIMPLE | 1 | ni->runlist.rl->length | |
| NO_OVERFLOW_SIMPLE | 1 | ni->vol->lcnbmp_ino->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | ni->vol->mft_ino->i_mapping->host->i_size | |
| HALF_LOCKED2 | &dir_ni->mrec_lock | ||
| HALF_LOCKED2 | &ni->mrec_lock | ||
| HALF_LOCKED2 | &xrni->mrec_lock |
fs/ntfs/index.c ntfs_index_lookup() -> ntfs_ia_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | icx | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->actx | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->actx->al_entry->length | 26-u16max |
| PARAM_VALUE | 0 | icx->actx->al_entry->type | 0-31,33-4294967295 |
| PARAM_VALUE | 0 | icx->actx->ntfs_ino->vol->sb->s_fs_info->wb_err | 0-4294967295 |
| PARAM_VALUE | 0 | icx->block_size | 512-u32max |
| PARAM_VALUE | 0 | icx->cr | 0-1,16,19 |
| PARAM_VALUE | 0 | icx->idx_ni | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->idx_ni->folio_ofs | 0-4095 |
| PARAM_VALUE | 0 | icx->idx_ni->runlist.lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->runlist.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->idx_ni->vol->lcnbmp_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->lcnbmp_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mft_ino->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mftbmp_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mftbmp_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | icx->ir | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->ir->collation_rule | 0-1,16,19 |
| PARAM_VALUE | 0 | icx->ir->index_block_size | 512-u32max |
| PARAM_VALUE | 0 | *icx->parent_pos | 0-s32max |
| PARAM_VALUE | 1 | ni | 4096-ptr_max |
| PARAM_VALUE | 1 | ni->folio_ofs | 0-4095 |
| PARAM_VALUE | 1 | ni->vol | 4096-ptr_max |
| BUF_SIZE | 0 | icx | (-1)-s32max |
| BUF_SIZE | 0 | icx | (-1)-s32max |
| CAPPED_DATA | 0 | icx->block_size | 1 |
| CAPPED_DATA | 1 | ni->vol->cluster_size | 1 |
| DATA_SOURCE | 0 | icx | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->base_attr->data.non_resident.mapping_pairs_offset | |
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->base_attr->data.resident.value_length | |
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->base_ntfs_ino->i_dealloc_clusters | |
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->base_ntfs_ino->runlist.count | |
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->ntfs_ino->attr_list_size | |
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->ntfs_ino->i_dealloc_clusters | |
| NO_OVERFLOW_SIMPLE | 0 | icx->actx->ntfs_ino->runlist.count | |
| NO_OVERFLOW_SIMPLE | 0 | icx->block_size | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->attr_list_size | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->ext.extent_ntfs_inos | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->runlist.count | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->runlist.rl | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->runlist.rl->length | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->vol->lcnbmp_ino->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | icx->idx_ni->vol->mft_ino->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | ni->attr_list_size | |
| NO_OVERFLOW_SIMPLE | 1 | ni->runlist.count | |
| NO_OVERFLOW_SIMPLE | 1 | ni->vol->cluster_size | |
| HALF_LOCKED2 | &index_ni->mrec_lock | ||
| HALF_LOCKED2 | &ndir->mrec_lock | ||
| HALF_LOCKED2 | &ni->mrec_lock | ||
| HALF_LOCKED2 | &xoni->mrec_lock | ||
| HALF_LOCKED2 | &xrni->mrec_lock |
fs/ntfs/index.c ntfs_index_next() -> ntfs_ia_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | icx | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->actx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | icx->actx->al_entry->type | 0-31,33-u32max |
| PARAM_VALUE | 0 | icx->block_size | 512-u32max |
| PARAM_VALUE | 0 | icx->ia_ni | 0 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mft_ino->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | icx->ir | 0,4096-ptr_max |
| PARAM_VALUE | 0 | icx->parent_pos | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->parent_vcn | 4096-ptr_max |
| PARAM_VALUE | 0 | *icx->parent_pos | s32min-s32max |
| PARAM_VALUE | 1 | ni->vol->mft_ino->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| BUF_SIZE | 0 | icx->ia_ni | (-1),776 |
| DATA_SOURCE | 0 | icx | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &ndir->mrec_lock | ||
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem | ||
| TYPE_LOCK | (struct ntfs_inode)->mrec_lock |
fs/ntfs/index.c ntfs_index_rm_node() -> ntfs_ia_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | icx | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->actx | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->actx->al_entry->length | 0,26-u16max |
| PARAM_VALUE | 0 | icx->actx->al_entry->type | 0-31,33-u32max |
| PARAM_VALUE | 0 | icx->actx->ntfs_ino->vol->sb->s_fs_info->wb_err | 0-4294967295 |
| PARAM_VALUE | 0 | icx->block_size | 512-u32max |
| PARAM_VALUE | 0 | icx->cr | 0-1,16,19 |
| PARAM_VALUE | 0 | icx->entry | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->entry->flags | 1-u16max |
| PARAM_VALUE | 0 | icx->entry->length | 1-u16max |
| PARAM_VALUE | 0 | icx->ia_ni | 0 |
| PARAM_VALUE | 0 | icx->idx_ni | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->idx_ni->runlist.lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->runlist.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->idx_ni->vol->lcnbmp_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->lcnbmp_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mftbmp_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | icx->idx_ni->vol->mftbmp_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | icx->ir | 4096-ptr_max |
| PARAM_VALUE | 0 | icx->ir->collation_rule | 0-1,16,19 |
| PARAM_VALUE | 0 | icx->ir->index_block_size | 512-u32max |
| PARAM_VALUE | 0 | *icx->data | 0-255 |
| PARAM_VALUE | 0 | *icx->parent_pos | s32min-s32max |
| PARAM_VALUE | 1 | ni | 4096-ptr_max |
| PARAM_VALUE | 1 | ni->runlist.lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ni->runlist.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ni->vol | 4096-ptr_max |
| PARAM_VALUE | 1 | ni->vol->lcnbmp_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ni->vol->lcnbmp_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ni->vol->mftbmp_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ni->vol->mftbmp_lock.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | icx | (-1)-s32max |
| BUF_SIZE | 0 | icx | (-1)-s32max |
| CAPPED_DATA | 0 | icx->idx_ni->vol->cluster_size | 1 |
| CAPPED_DATA | 1 | ni->vol->cluster_size | 1 |
| DATA_SOURCE | 0 | icx | $0 |
| BIT_INFO | 0 | icx->entry->flags | 0x1,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dir_ni->mrec_lock | ||
| HALF_LOCKED2 | &ni->mrec_lock | ||
| HALF_LOCKED2 | &xoni->mrec_lock | ||
| HALF_LOCKED2 | &xrni->mrec_lock | ||
| TYPE_LOCK | (struct ntfs_inode)->mrec_lock |