Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/assoc_array.c assoc_array_gc() -> assoc_array_apply_edit()

Type Parameter Key Value
PARAM_VALUE 0 edit 4096-ptr_max
PARAM_VALUE 0 edit->array 4096-ptr_max
PARAM_VALUE 0 edit->array->root 1-u64max
PARAM_VALUE 0 edit->excised_subtree 1-u64max
PARAM_VALUE 0 edit->ops 3267637752487555072
PARAM_VALUE 0 edit->ops_for_excised_subtree 3267637752487555072
PARAM_VALUE 0 edit->set 4096-ptr_max
BUF_SIZE 0 edit 328
DATA_SOURCE 0 edit r _kzalloc_noprof
NOCHECK_CALL
LOCK2 &keyring->sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct key)->sem

security/keys/keyring.c __key_link() -> assoc_array_apply_edit()

Type Parameter Key Value
PARAM_VALUE 0 edit 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &from_keyring->sem
HALF_LOCKED2 &keyring->sem
HALF_LOCKED2 &user->cons_lock
HALF_LOCKED2 global &key_construction_mutex

security/keys/keyring.c __key_unlink() -> assoc_array_apply_edit()

Type Parameter Key Value
PARAM_VALUE 0 edit 4096-ptr_max
NOCHECK_CALL
LOCK2 &keyring->sem
HALF_LOCKED2 &to_keyring->sem
TYPE_LOCK (struct key)->sem

security/keys/keyring.c keyring_clear() -> assoc_array_apply_edit()

Type Parameter Key Value
PARAM_VALUE 0 edit 4096-ptr_max
PARAM_VALUE 0 edit->array 4096-ptr_max
PARAM_VALUE 0 edit->array->root 1-u64max
PARAM_VALUE 0 edit->excised_subtree 1-u64max
PARAM_VALUE 0 edit->ops 3267637752487555072
PARAM_VALUE 0 edit->ops_for_excised_subtree 3267637752487555072
PARAM_VALUE 0 edit->set 4096-ptr_max
BUF_SIZE 0 edit (-1),328
BUF_SIZE 0 edit (-1),328
BUF_SIZE 0 edit->array (-1),16
BUF_SIZE 0 edit->ops (-1),40
BUF_SIZE 0 edit->ops_for_excised_subtree (-1),40
DATA_SOURCE 0 edit r assoc_array_clear
NOCHECK_CALL
LOCK2 &keyring->sem
TYPE_LOCK (struct key)->sem

security/keys/keyring.c keyring_revoke() -> assoc_array_apply_edit()

Type Parameter Key Value
PARAM_VALUE 0 edit 4096-ptr_max
PARAM_VALUE 0 edit->array 4096-ptr_max
PARAM_VALUE 0 edit->array->root 1-u64max
PARAM_VALUE 0 edit->excised_subtree 1-u64max
PARAM_VALUE 0 edit->ops 3267637752487555072
PARAM_VALUE 0 edit->ops_for_excised_subtree 3267637752487555072
PARAM_VALUE 0 edit->set 4096-ptr_max
BUF_SIZE 0 edit (-1),328
BUF_SIZE 0 edit (-1),328
BUF_SIZE 0 edit->array (-1),16
BUF_SIZE 0 edit->ops (-1),40
BUF_SIZE 0 edit->ops_for_excised_subtree (-1),40
DATA_SOURCE 0 edit r assoc_array_clear
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &keyring->sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &afs_key_lock
TYPE_LOCK (struct key)->sem