Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/verity/enable.c enable_verity() -> fsverity_remove_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vi | 4096-ptr_max |
| PARAM_VALUE | 0 | vi->inode | 4096-ptr_max |
| PARAM_VALUE | 0 | vi->inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | vi->inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | vi->tree_params->zero_digest | 0-255 |
| PARAM_VALUE | 0 | vi->tree_params.digest_size | 32,64 |
| PARAM_VALUE | 0 | vi->tree_params.hash_alg | 4096-ptr_max |
| PARAM_VALUE | 0 | vi->tree_params.hash_alg->algo_id | 0 |
| PARAM_VALUE | 0 | vi->tree_params.hash_alg->block_size | 0 |
| PARAM_VALUE | 0 | vi->tree_params.hash_alg->digest_size | 0 |
| PARAM_VALUE | 0 | vi->tree_params.hash_alg->name | 0 |
| PARAM_VALUE | 0 | vi->tree_params.log_arity | 0-12,235-255 |
| PARAM_VALUE | 0 | vi->tree_params.log_blocks_per_page | 0-2 |
| PARAM_VALUE | 0 | vi->tree_params.log_blocksize | 10-12 |
| PARAM_VALUE | 0 | vi->tree_params.log_digestsize | 0-31 |
| PARAM_VALUE | 0 | vi->tree_params.num_levels | 0-s32max |
| PARAM_VALUE | 0 | vi->tree_params.tree_pages | 0-4503599627370495 |
| PARAM_VALUE | 0 | vi->tree_params.zero_digest | 0 |
| CAPPED_DATA | 0 | vi->tree_params.log_blocksize | 1 |
| DATA_SOURCE | 0 | vi | r fsverity_create_info |
| NOCHECK_CALL | |||
| USER_DATA | 0 | vi->tree_params.log_arity | 0-12,235-255 |
| USER_DATA | 0 | vi->tree_params.log_blocks_per_page | 0-2[c] |
| USER_DATA | 0 | vi->tree_params.log_blocksize | 10-12[c] |
| NO_OVERFLOW_SIMPLE | 0 | vi->inode->i_size |
fs/verity/enable.c enable_verity() -> fsverity_remove_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vi | 4096-ptr_max |
| PARAM_VALUE | 0 | vi->inode | 4096-ptr_max |
| PARAM_VALUE | 0 | vi->inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | vi->inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | vi->tree_params->zero_digest | 0-255 |
| PARAM_VALUE | 0 | vi->tree_params.digest_size | 32,64 |
| PARAM_VALUE | 0 | vi->tree_params.hash_alg | 4096-ptr_max |
| PARAM_VALUE | 0 | vi->tree_params.hash_alg->algo_id | 0 |
| PARAM_VALUE | 0 | vi->tree_params.hash_alg->block_size | 0 |
| PARAM_VALUE | 0 | vi->tree_params.hash_alg->digest_size | 0 |
| PARAM_VALUE | 0 | vi->tree_params.hash_alg->name | 0 |
| PARAM_VALUE | 0 | vi->tree_params.log_arity | 0-12,235-255 |
| PARAM_VALUE | 0 | vi->tree_params.log_blocks_per_page | 0-2 |
| PARAM_VALUE | 0 | vi->tree_params.log_blocksize | 10-12 |
| PARAM_VALUE | 0 | vi->tree_params.log_digestsize | 0-31 |
| PARAM_VALUE | 0 | vi->tree_params.num_levels | 0-s32max |
| PARAM_VALUE | 0 | vi->tree_params.tree_pages | 0-4503599627370495 |
| PARAM_VALUE | 0 | vi->tree_params.zero_digest | 0 |
| CAPPED_DATA | 0 | vi->tree_params.log_blocksize | 1 |
| DATA_SOURCE | 0 | vi | r fsverity_create_info |
| NOCHECK_CALL | |||
| USER_DATA | 0 | vi->tree_params.log_arity | 0-12,235-255 |
| USER_DATA | 0 | vi->tree_params.log_blocks_per_page | 0-2[c] |
| USER_DATA | 0 | vi->tree_params.log_blocksize | 10-12[c] |
| NO_OVERFLOW_SIMPLE | 0 | vi->inode->i_size |
fs/verity/open.c fsverity_cleanup_inode() -> fsverity_remove_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vi | 1-u64max |
| DATA_SOURCE | 0 | vi | r fsverity_get_info |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |