Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/crypto/tests/chacha20poly1305_kunit.c chacha20poly1305_test_encrypt() -> chacha20poly1305_encrypt_bignonce()

Type Parameter Key Value
PARAM_VALUE 0 dst 16,4096-ptr_max
BUF_SIZE 0 dst 4096
BUF_SIZE 0 dst 4096
BUF_SIZE 6 key 32
DATA_SOURCE 0 dst $1
DATA_SOURCE 1 src $2
DATA_SOURCE 2 src_len $3
DATA_SOURCE 3 ad $4
DATA_SOURCE 4 ad_len $5
DATA_SOURCE 5 nonce $6
DATA_SOURCE 6 key $8
MEM_ZERO 0 dst
NOCHECK_CALL