Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/keys/keyring.c search_keyring() -> (struct keyring_search_context)->iterator()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | object | 2-u64max |
| PARAM_VALUE | 1 | iterator_data | 4096-ptr_max |
| DATA_SOURCE | 0 | object | r assoc_array_find |
| DATA_SOURCE | 1 | iterator_data | $1 |
| CONTAINER | 1 | -88+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
security/keys/keyring.c search_nested_keyrings() -> (struct keyring_search_context)->iterator()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | object | 4098-18446744073709547522 |
| PARAM_VALUE | 1 | iterator_data | 4096-ptr_max |
| DATA_SOURCE | 1 | iterator_data | $1 |
| CONTAINER | 1 | -88+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
lib/assoc_array.c assoc_array_subtree_iterate() -> assoc_array_subtree_iterate param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | object | 0,2-u64max |
| BUF_SIZE | 1 | iterator_data | (-1),8,24 |
| BUF_SIZE | 1 | iterator_data | (-1),8,24 |
| DATA_SOURCE | 1 | iterator_data | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &keyring->sem |