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_freeze() -> virtcrypto_dev_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcrypto | 4096-ptr_max |
| PARAM_VALUE | 0 | vcrypto->max_data_queues | 0-s32max |
| BUF_SIZE | 0 | vcrypto | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcrypto | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcrypto->max_data_queues | 1 |
| CAPPED_DATA | 0 | &vcrypto->config_work | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | vcrypto | unit_byte |
drivers/crypto/virtio/virtio_crypto_core.c virtcrypto_remove() -> virtcrypto_dev_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcrypto | 4096-ptr_max |
| BUF_SIZE | 0 | vcrypto | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcrypto | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &vcrypto->config_work | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | vcrypto | unit_byte |
| HALF_LOCKED2 | &_d->mutex |
drivers/crypto/virtio/virtio_crypto_core.c virtcrypto_update_status() -> virtcrypto_dev_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcrypto | 4096-ptr_max |
| PARAM_VALUE | 0 | vcrypto->status | 0 |
| PARAM_VALUE | 0 | vcrypto->vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcrypto->vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vcrypto->vdev->config->get | 4096-ptr_max |
| DATA_SOURCE | 0 | vcrypto | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vcrypto->aead_algo | 0-u32max |
| HOST_DATA | 0 | vcrypto->akcipher_algo | 0-u32max |
| HOST_DATA | 0 | vcrypto->cipher_algo_h | 0-u32max |
| HOST_DATA | 0 | vcrypto->cipher_algo_l | 0-u32max |
| HOST_DATA | 0 | vcrypto->crypto_services | 0-u32max |
| HOST_DATA | 0 | vcrypto->hash_algo | 0-u32max |
| HOST_DATA | 0 | vcrypto->mac_algo_h | 0-u32max |
| HOST_DATA | 0 | vcrypto->mac_algo_l | 0-u32max |
| HOST_DATA | 0 | vcrypto->max_auth_key_len | 0-u32max |
| HOST_DATA | 0 | vcrypto->max_cipher_key_len | 0-u32max |
| HOST_DATA | 0 | vcrypto->max_data_queues | 1-s32max[c] |
| HOST_DATA | 0 | vcrypto->max_size | 0-u64max |
| HOST_DATA | 0 | vcrypto->status | 0 |
| NO_OVERFLOW_SIMPLE | 0 | vcrypto->max_data_queues |