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_delete() -> assoc_array_cancel_edit()

Type Parameter Key Value
PARAM_VALUE 0 edit 4096-ptr_max
PARAM_VALUE 0 edit->adjust_count_by (-1)
PARAM_VALUE 0 edit->array 4096-ptr_max
PARAM_VALUE 0 edit->ops 3267637752487555072
BUF_SIZE 0 edit 328
DATA_SOURCE 0 edit r _kzalloc_noprof
NOCHECK_CALL
LOCK2 &keyring->sem
HALF_LOCKED2 &to_keyring->sem
TYPE_LOCK (struct key)->sem

lib/assoc_array.c assoc_array_delete() -> assoc_array_cancel_edit()

Type Parameter Key Value
PARAM_VALUE 0 edit 4096-ptr_max
PARAM_VALUE 0 edit->adjust_count_by (-1)
PARAM_VALUE 0 edit->adjust_count_on 4096-ptr_max
PARAM_VALUE 0 edit->array 4096-ptr_max
PARAM_VALUE 0 edit->ops 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 &to_keyring->sem
TYPE_LOCK (struct key)->sem

lib/assoc_array.c assoc_array_insert() -> assoc_array_cancel_edit()

Type Parameter Key Value
PARAM_VALUE 0 edit 4096-ptr_max
PARAM_VALUE 0 edit->adjust_count_by 1
PARAM_VALUE 0 edit->array 4096-ptr_max
PARAM_VALUE 0 edit->ops 3267637752487555072
PARAM_VALUE 0 *edit->segment_cache 0-255
BUF_SIZE 0 edit 328
DATA_SOURCE 0 edit r _kzalloc_noprof
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
HALF_LOCKED2 global &key_types_sem

security/keys/keyring.c __key_link_begin() -> assoc_array_cancel_edit()

Type Parameter Key Value
PARAM_VALUE 0 edit 4096-ptr_max
PARAM_VALUE 0 edit->adjust_count_by 1
PARAM_VALUE 0 edit->array 4096-ptr_max
PARAM_VALUE 0 edit->dead_leaf 0
PARAM_VALUE 0 edit->leaf_p 4096-ptr_max
PARAM_VALUE 0 edit->ops 3267637752487555072
BUF_SIZE 0 edit 328
BUF_SIZE 0 edit->array 16
BUF_SIZE 0 edit->ops 40
DATA_SOURCE 0 edit r assoc_array_insert
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
HALF_LOCKED2 global &key_types_sem

security/keys/keyring.c __key_link_end() -> assoc_array_cancel_edit()

Type Parameter Key Value
PARAM_VALUE 0 edit 4096-ptr_max
PARAM_VALUE 0 edit->adjust_count_by 1
PARAM_VALUE 0 edit->ops 3267637752487555072
DATA_SOURCE 0 edit $2
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_types_sem

security/keys/keyring.c __key_unlink_end() -> assoc_array_cancel_edit()

Type Parameter Key Value
PARAM_VALUE 0 edit 4096-ptr_max
PARAM_VALUE 0 edit->adjust_count_by (-1)
PARAM_VALUE 0 edit->ops 3267637752487555072
DATA_SOURCE 0 edit $2
NOCHECK_CALL
LOCK2 &keyring->sem