Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->vcrypto 1-u64max
PARAM_VALUE 2 keylen 16,24,32
BUF_SIZE 1 key (-1)-s32max
BUF_SIZE 1 key (-1)-s32max
CAPPED_DATA 2 keylen 1
DATA_SOURCE 1 key $1
DATA_SOURCE 2 keylen $2
NOSPEC 2 keylen
NOSPEC 2 keylen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *key 0-255
USER_DATA 2 keylen 16,24,32[c]
BYTE_COUNT 1 ==key2 8050
USER_PTR 1 key
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