Defined in 1 files as a struct:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

crypto/asymmetric_keys/restrict.c key_or_keyring_common() -> asymmetric_key_ids()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
DATA_SOURCE 0 key $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dest_keyring->sem
HALF_LOCKED2 global &key_types_sem
TYPE_LOCK (struct key)->sem

crypto/asymmetric_keys/asymmetric_type.c asymmetric_key_cmp() -> asymmetric_key_ids()

Type Parameter Key Value
PARAM_VALUE 0 key 1-u64max
DATA_SOURCE 0 key $0
RX_PATH
TASK_NOT_RUNNING

crypto/asymmetric_keys/asymmetric_type.c asymmetric_key_cmp_name() -> asymmetric_key_ids()

Type Parameter Key Value
PARAM_VALUE 0 key 1-u64max
DATA_SOURCE 0 key $0
RX_PATH
TASK_NOT_RUNNING

crypto/asymmetric_keys/asymmetric_type.c asymmetric_key_cmp_partial() -> asymmetric_key_ids()

Type Parameter Key Value
PARAM_VALUE 0 key 1-u64max
DATA_SOURCE 0 key $0
RX_PATH
TASK_NOT_RUNNING

crypto/asymmetric_keys/asymmetric_type.c asymmetric_key_describe() -> asymmetric_key_ids()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
DATA_SOURCE 0 key $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
LOCK2 rcu_read
TYPE_LOCK (struct seq_file)->lock

crypto/asymmetric_keys/asymmetric_type.c find_asymmetric_key() -> asymmetric_key_ids()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
DATA_SOURCE 0 key r key_ref_to_ptr
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dest_keyring->sem
HALF_LOCKED2 &keyring->sem