Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/xattr.c ext4_xattr_inode_cache_find() -> ext4_xattr_inode_verify_hashes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ea_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | ea_inode->i_data.host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 0 | ea_inode->i_data.host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | ea_inode->i_data.host->i_sb->s_export_op->fh_to_parent | 0,5297,148606482432692224,436469935444291584,467281172929331200 |
| PARAM_VALUE | 0 | ea_inode->i_data.host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896 |
| PARAM_VALUE | 0 | ea_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 0 | ea_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | ea_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,5297,148606482432692224,436469935444291584,467281172929331200 |
| PARAM_VALUE | 0 | ea_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896 |
| PARAM_VALUE | 0 | ea_inode->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 0 | ea_inode->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 1 | entry | 0 |
| PARAM_VALUE | 2 | buffer | 1-18446744073709551614 |
| BUF_SIZE | 2 | buffer | 0-u64max |
| CAPPED_DATA | 0 | ea_inode | 1 |
| CAPPED_DATA | 3 | size | 1 |
| CAPPED_DATA | 3 | size | 1 |
| DATA_SOURCE | 0 | ea_inode | r __ext4_iget |
| DATA_SOURCE | 2 | buffer | r __kvmalloc_node_noprof |
| DATA_SOURCE | 3 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 3 | size | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/xattr.c ext4_xattr_inode_get() -> ext4_xattr_inode_verify_hashes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ea_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | ea_inode->i_data.host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 0 | ea_inode->i_data.host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | ea_inode->i_data.host->i_sb->s_export_op->fh_to_parent | 0,5297,148606482432692224,436469935444291584,467281172929331200 |
| PARAM_VALUE | 0 | ea_inode->i_data.host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896 |
| PARAM_VALUE | 0 | ea_inode->i_flags | 0,32-4294967295 |
| PARAM_VALUE | 0 | ea_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 0 | ea_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | ea_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent | 0,5297,148606482432692224,436469935444291584,467281172929331200 |
| PARAM_VALUE | 0 | ea_inode->i_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896 |
| PARAM_VALUE | 0 | ea_inode->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 0 | ea_inode->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | ea_inode->i_size | 0-4294967295 |
| PARAM_VALUE | 1 | entry | 4096-ptr_max |
| PARAM_VALUE | 1 | entry->e_value_inum | 1-u32max |
| PARAM_VALUE | 2 | buffer | 1-u64max |
| PARAM_VALUE | 3 | size | 0-u32max |
| BUF_SIZE | 2 | buffer | (-1)-s32max |
| BUF_SIZE | 2 | buffer | (-1)-s32max |
| CAPPED_DATA | 0 | ea_inode | 1 |
| CAPPED_DATA | 1 | entry->e_value_inum | 1 |
| CAPPED_DATA | 3 | size | 1 |
| CAPPED_DATA | 3 | size | 1 |
| DATA_SOURCE | 1 | entry | $1 |
| DATA_SOURCE | 2 | buffer | $2 |
| DATA_SOURCE | 3 | size | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | entry | unit_byte |
| UNITS | 3 | size | unit_byte |
| BYTE_COUNT | 2 | ==buffer3 | 8050 |