Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/integrity/evm/evm_crypto.c evm_update_evmxattr() -> evm_is_immutable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | dentry->d_inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | dentry | 1 |
| DATA_SOURCE | 0 | dentry | $0 |
| STR_LEN | 0 | dentry | (-1),12 |
| STR_LEN | 0 | dentry | (-1),12 |
| NO_OVERFLOW_SIMPLE | 0 | dentry->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | dentry->moved->d_inode->i_size | |
| HALF_LOCKED2 | &iint->mutex | ||
| HALF_LOCKED2 | &inode->i_rwsem |