Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/virtio/virtio_crypto_skcipher_algs.c virtio_crypto_alg_skcipher_init_sessions() -> virtio_crypto_alg_validate_key()

Type Parameter Key Value
PARAM_VALUE 0 key_len 16,24,32
PARAM_VALUE 1 alg 5150886119076831232
CAPPED_DATA 0 key_len 1
DATA_SOURCE 0 key_len $2
NOSPEC 0 key_len
NOSPEC 0 key_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 key_len 24,32[c]
HALF_LOCKED2 &ac->mutex
HALF_LOCKED2 &crypt_stat->cs_mutex
HALF_LOCKED2 &crypt_stat->cs_tfm_mutex
HALF_LOCKED2 &crypt_stat->keysig_list_mutex
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 &sdata->sec_mtx
HALF_LOCKED2 &walker->global_auth_tok_key->sem
HALF_LOCKED2 global &key_tfm_list_mutex
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex

drivers/crypto/virtio/virtio_crypto_skcipher_algs.c virtio_crypto_skcipher_setkey() -> virtio_crypto_alg_validate_key()

Type Parameter Key Value
PARAM_VALUE 1 alg 923049143776915456
CAPPED_DATA 0 key_len 1
DATA_SOURCE 0 key_len $2
NOSPEC 0 key_len
NOSPEC 0 key_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 key_len 1-s32max[c]
HALF_LOCKED2 &ac->mutex
HALF_LOCKED2 &crypt_stat->cs_mutex
HALF_LOCKED2 &crypt_stat->cs_tfm_mutex
HALF_LOCKED2 &crypt_stat->keysig_list_mutex
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 &sdata->sec_mtx
HALF_LOCKED2 &walker->global_auth_tok_key->sem
HALF_LOCKED2 global &key_tfm_list_mutex
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex