Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/virtio/virtio_crypto_core.c virtcrypto_probe() -> virtcrypto_devmgr_rm_dev()

Type Parameter Key Value
PARAM_VALUE 0 vcrypto_dev 4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->affinity_hint_set 0
PARAM_VALUE 0 vcrypto_dev->curr_queue 1
PARAM_VALUE 0 vcrypto_dev->data_vq 0,16,4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->max_data_queues 1-u32max
PARAM_VALUE 0 vcrypto_dev->vdev 4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->vdev->config 4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->vdev->config->del_vqs 4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->vdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->vdev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->vdev->priv 4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->vdev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->vdev->vqs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->vdev->vqs_list_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 vcrypto_dev->max_data_queues 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vcrypto_dev->aead_algo 0-u32max
HOST_DATA 0 vcrypto_dev->akcipher_algo 0-u32max
HOST_DATA 0 vcrypto_dev->cipher_algo_h 0-u32max
HOST_DATA 0 vcrypto_dev->cipher_algo_l 0-u32max
HOST_DATA 0 vcrypto_dev->crypto_services 0-u32max
HOST_DATA 0 vcrypto_dev->hash_algo 0-u32max
HOST_DATA 0 vcrypto_dev->mac_algo_h 0-u32max
HOST_DATA 0 vcrypto_dev->mac_algo_l 0-u32max
HOST_DATA 0 vcrypto_dev->max_auth_key_len 0-u32max
HOST_DATA 0 vcrypto_dev->max_cipher_key_len 0-u32max
HOST_DATA 0 vcrypto_dev->max_data_queues 1-u32max[c]
HOST_DATA 0 vcrypto_dev->max_size 0-u64max
NO_OVERFLOW_SIMPLE 0 vcrypto_dev->max_data_queues

drivers/crypto/virtio/virtio_crypto_core.c virtcrypto_remove() -> virtcrypto_devmgr_rm_dev()

Type Parameter Key Value
PARAM_VALUE 0 vcrypto_dev 4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->affinity_hint_set 0
PARAM_VALUE 0 vcrypto_dev->max_data_queues 0-s32max
PARAM_VALUE 0 vcrypto_dev->vdev 4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->vdev->config 4096-ptr_max
PARAM_VALUE 0 vcrypto_dev->vdev->config->del_vqs 4096-ptr_max
BUF_SIZE 0 vcrypto_dev s32min-(-2),1-s32max
BUF_SIZE 0 vcrypto_dev s32min-(-2),1-s32max
CAPPED_DATA 0 vcrypto_dev->data_vq 1
CAPPED_DATA 0 vcrypto_dev->max_data_queues 1
CAPPED_DATA 0 &vcrypto_dev->config_work 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vcrypto_dev unit_byte
HALF_LOCKED2 &_d->mutex