Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/crypto/keyring.c check_for_busy_inodes() -> master_key_spec_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spec | 4096-ptr_max |
| PARAM_VALUE | 0 | spec->type | 1-2 |
fs/crypto/keyring.c valid_key_spec() -> master_key_spec_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spec | 4564219318658813952,6352396349797801984,8156685023415222272 |
| DATA_SOURCE | 0 | spec | $0 |
| USER_DATA | 0 | spec->__reserved | 0 |
| USER_DATA | 0 | spec->type | 0-u32max |
fs/crypto/keysetup.c fscrypt_valid_master_key_size() -> master_key_spec_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spec | 4096-ptr_max |
| PARAM_VALUE | 0 | spec->type | 1-2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &mk->mk_sem | ||
| TYPE_LOCK | (struct fscrypt_master_key)->mk_sem |