Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/keys/request_key.c construct_key_and_link() -> construct_alloc_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 5000047925832593408 |
| PARAM_VALUE | 0 | ctx->cred | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->flags | 98 |
| PARAM_VALUE | 0 | ctx->index_key.type | 4096-9142442151112187903,9142442151112187905-ptr_max |
| PARAM_VALUE | 0 | ctx->iterator | 0,4332256403137916928 |
| PARAM_VALUE | 0 | ctx->match_data.cmp | 1679633131033747456,3325541039431966720,4068942585331077120,4687065711135023104,4946869985818988544,8304728542847062016 |
| PARAM_VALUE | 0 | ctx->match_data.lookup_type | 0-1 |
| PARAM_VALUE | 0 | ctx->skipped_ret | 0,2 |
| PARAM_VALUE | 1 | dest_keyring | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 0 |
| PARAM_VALUE | 3 | user | 1-u64max |
| PARAM_VALUE | 4 | _key | 9194643350660206592 |
| BUF_SIZE | 3 | user | (-1)-0,272 |
| BUF_SIZE | 3 | user | (-1)-0,272 |
| DATA_SOURCE | 0 | ctx | $0 |
| DATA_SOURCE | 1 | dest_keyring | $4 [m] |
| DATA_SOURCE | 2 | flags | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | dest_keyring->quotalen | |
| USER_PTR | 0 | ctx->index_key.description | |
| USER_PTR | 0 | ctx->match_data.raw_data | |
| HALF_LOCKED2 | &idmap->idmap_mutex | ||
| HALF_LOCKED2 | global &key_types_sem |