Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
LOCK2 &keyring->sem
HALF_LOCKED2 &to_keyring->sem
TYPE_LOCK (struct key)->sem

lib/assoc_array.c assoc_array_destroy_subtree() -> assoc_array_ptr_is_meta()

Type Parameter Key Value
PARAM_VALUE 0 x 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &keyring->sem

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

Type Parameter Key Value
PARAM_VALUE 0 x 1-u64max
LOCK2 &keyring->sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct key)->sem

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

Type Parameter Key Value
LOCK2 &keyring->sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct key)->sem

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

Type Parameter Key Value
PARAM_VALUE 0 x 0
DATA_SOURCE 0 x $3
RX_PATH
TASK_NOT_RUNNING
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

lib/assoc_array.c assoc_array_insert_into_terminal_node() -> assoc_array_ptr_is_meta()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
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

lib/assoc_array.c assoc_array_insert_into_terminal_node() -> assoc_array_ptr_is_meta()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
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

lib/assoc_array.c assoc_array_insert_into_terminal_node() -> assoc_array_ptr_is_meta()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
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

lib/assoc_array.c assoc_array_ptr_is_leaf() -> assoc_array_ptr_is_meta()

Type Parameter Key Value
DATA_SOURCE 0 x $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &keyring->sem

lib/assoc_array.c assoc_array_subtree_iterate() -> assoc_array_ptr_is_meta()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &keyring->sem

lib/assoc_array.c assoc_array_walk() -> assoc_array_ptr_is_meta()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &keyring->sem

security/keys/keyring.c search_nested_keyrings() -> assoc_array_ptr_is_meta()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/keys/keyring.c search_nested_keyrings() -> assoc_array_ptr_is_meta()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read