Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 3 files as a macro:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

crypto/aes.c crypto_aes_cbc_cts_crypt_nonlinear() -> aes_cbc_cts_decrypt()

Type Parameter Key Value
PARAM_VALUE 0 dst 7704894034506489856
PARAM_VALUE 1 src 7704894034506489856
BUF_SIZE 0 dst 32
BUF_SIZE 1 src 32
BUF_SIZE 3 iv s32min-(-2),1-s32max
CAPPED_DATA 2 len 1
DATA_SOURCE 4 key r crypto_skcipher_ctx
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 iv unit_byte
HALF_LOCKED2 &crypt_stat->cs_mutex
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &key_construction_mutex
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 tfm_mutex

crypto/aes.c crypto_aes_cbc_cts_decrypt() -> aes_cbc_cts_decrypt()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 len 16-u32max
BUF_SIZE 3 iv s32min-(-2),1-s32max
CAPPED_DATA 2 len 1
DATA_SOURCE 4 key r crypto_skcipher_ctx
FUZZY_MAX 2 len 16
NOSPEC 2 len
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 len 16-u32max[c]
USER_DATA 3 *iv 0-255
UNITS 2 len unit_byte
UNITS 3 iv unit_byte
USER_PTR 3 iv
HALF_LOCKED2 &crypt_stat->cs_mutex
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 global &key_construction_mutex
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex

lib/crypto/aes.c aes_cbc_cts_fips_test() -> aes_cbc_cts_decrypt()

Type Parameter Key Value
PARAM_VALUE 0 dst 4718433253317505024
PARAM_VALUE 1 src 4718433253317505024
PARAM_VALUE 2 len 32
PARAM_VALUE 3 iv 2930511101323038720
PARAM_VALUE 4 key 6586644598607241216
PARAM_VALUE 4 key->len 16
PARAM_VALUE 4 key->nrounds 10,12,14
BUF_SIZE 0 dst 32
BUF_SIZE 1 src 32
BUF_SIZE 3 iv 16
NOCHECK_CALL