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_algs_register() -> virtcrypto_algo_is_supported()

Type Parameter Key Value
PARAM_VALUE 0 vcrypto 4096-ptr_max
BUF_SIZE 0 vcrypto s32min-(-1),1-s32max
BUF_SIZE 0 vcrypto s32min-(-1),1-s32max
DATA_SOURCE 0 vcrypto $0
RX_PATH
TASK_NOT_RUNNING
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
UNITS 0 vcrypto unit_byte
LOCK2 global &algs_lock

drivers/crypto/virtio/virtio_crypto_akcipher_algs.c virtio_crypto_akcipher_algs_unregister() -> virtcrypto_algo_is_supported()

Type Parameter Key Value
PARAM_VALUE 0 vcrypto 4096-ptr_max
BUF_SIZE 0 vcrypto s32min-(-1),1-s32max
BUF_SIZE 0 vcrypto s32min-(-1),1-s32max
DATA_SOURCE 0 vcrypto $0
RX_PATH
TASK_NOT_RUNNING
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
UNITS 0 vcrypto unit_byte
LOCK2 global &algs_lock

drivers/crypto/virtio/virtio_crypto_skcipher_algs.c virtio_crypto_skcipher_algs_register() -> virtcrypto_algo_is_supported()

Type Parameter Key Value
PARAM_VALUE 0 vcrypto 4096-ptr_max
BUF_SIZE 0 vcrypto s32min-(-1),1-s32max
BUF_SIZE 0 vcrypto s32min-(-1),1-s32max
DATA_SOURCE 0 vcrypto $0
RX_PATH
TASK_NOT_RUNNING
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
UNITS 0 vcrypto unit_byte
LOCK2 global &algs_lock

drivers/crypto/virtio/virtio_crypto_skcipher_algs.c virtio_crypto_skcipher_algs_unregister() -> virtcrypto_algo_is_supported()

Type Parameter Key Value
PARAM_VALUE 0 vcrypto 4096-ptr_max
BUF_SIZE 0 vcrypto s32min-(-1),1-s32max
BUF_SIZE 0 vcrypto s32min-(-1),1-s32max
DATA_SOURCE 0 vcrypto $0
RX_PATH
TASK_NOT_RUNNING
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
UNITS 0 vcrypto unit_byte
LOCK2 global &algs_lock

drivers/crypto/virtio/virtio_crypto_mgr.c virtcrypto_get_dev_node() -> virtcrypto_algo_is_supported()

Type Parameter Key Value
PARAM_VALUE 0 vcrypto 4096-ptr_max
PARAM_VALUE 1 service 0,4
PARAM_VALUE 2 algo 1,3
DATA_SOURCE 1 service $1
DATA_SOURCE 2 algo $2
HARD_MAX 1 service 4
HARD_MAX 2 algo 3
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &table_lock

drivers/crypto/virtio/virtio_crypto_mgr.c virtcrypto_get_dev_node() -> virtcrypto_algo_is_supported()

Type Parameter Key Value
PARAM_VALUE 0 vcrypto 4096-ptr_max
PARAM_VALUE 1 service 0,4
PARAM_VALUE 2 algo 1,3
DATA_SOURCE 1 service $1
DATA_SOURCE 2 algo $2
HARD_MAX 1 service 4
HARD_MAX 2 algo 3
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &table_lock