Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/crypto/virtio/virtio_crypto_akcipher_algs.c virtio_crypto_akcipher_finalize_req() -> virtcrypto_clear_request()

Type Parameter Key Value
PARAM_VALUE 0 vc_req 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/crypto/virtio/virtio_crypto_skcipher_algs.c virtio_crypto_skcipher_finalize_req() -> virtcrypto_clear_request()

Type Parameter Key Value
PARAM_VALUE 0 vc_req 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/crypto/virtio/virtio_crypto_core.c virtcrypto_free_unused_reqs() -> virtcrypto_clear_request()

Type Parameter Key Value
PARAM_VALUE 0 vc_req 1-u64max
DATA_SOURCE 0 vc_req r virtqueue_detach_unused_buf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_d->mutex