Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/crypto/virtio/virtio_crypto_akcipher_algs.c virtio_crypto_rsa_exit_tfm() -> virtcrypto_dev_put()

Type Parameter Key Value
RX_PATH
NOCHECK_CALL

drivers/crypto/virtio/virtio_crypto_skcipher_algs.c virtio_crypto_skcipher_exit() -> virtcrypto_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 vcrypto_dev 1-u64max
RX_PATH
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 vcrypto_dev 4096-ptr_max
CAPPED_DATA 0 vcrypto_dev->max_cipher_key_len 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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