Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/assoc_array.c assoc_array_delete_collapse_iterator() -> assoc_array_leaf_to_ptr()

Type Parameter Key Value
PARAM_VALUE 0 p 0,2-u64max
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &keyring->sem

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

Type Parameter Key Value
PARAM_VALUE 0 p 0
DATA_SOURCE 0 p $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_set_object() -> assoc_array_leaf_to_ptr()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-18446744073709547522
BUF_SIZE 0 p (-1)-s32max
BUF_SIZE 0 p (-1)-s32max
DATA_SOURCE 0 p $1
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