Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

lib/crypto/chacha20poly1305.c chacha20poly1305_crypt_sg_inplace() -> chacha_init()

Type Parameter Key Value
PARAM_VALUE 0 state 3888794114773729280
PARAM_VALUE 1 key 4096-ptr_max
BUF_SIZE 1 key 32
BUF_SIZE 2 iv 16
NOCHECK_CALL

lib/crypto/chacha20poly1305.c chacha20poly1305_decrypt() -> chacha_init()

Type Parameter Key Value
PARAM_VALUE 0 state 4348867854286954496
PARAM_VALUE 1 key 7011622704050196480
BUF_SIZE 1 key 32
BUF_SIZE 2 iv 16
NOCHECK_CALL
HALF_LOCKED2 &key->sem
HALF_LOCKED2 &wg->static_identity.lock

lib/crypto/chacha20poly1305.c chacha20poly1305_encrypt() -> chacha_init()

Type Parameter Key Value
PARAM_VALUE 0 state 1271332141162176512
PARAM_VALUE 1 key 3399296422660259840
BUF_SIZE 1 key 32
BUF_SIZE 2 iv 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &handshake->lock
HALF_LOCKED2 &handshake->static_identity->lock

lib/crypto/chacha20poly1305.c xchacha_init() -> chacha_init()

Type Parameter Key Value
PARAM_VALUE 0 state 5205286785874903040,8433048263571124224
PARAM_VALUE 1 key 7466346113322893312
BUF_SIZE 1 key 32
BUF_SIZE 2 iv (-1),24
BUF_SIZE 2 iv (-1),24
DATA_SOURCE 0 state $0
DATA_SOURCE 2 iv $2
NOCHECK_CALL

lib/crypto/chacha20poly1305.c xchacha_init() -> chacha_init()

Type Parameter Key Value
PARAM_VALUE 0 state 5205286785874903040,8433048263571124224
PARAM_VALUE 1 key 7466346113322893312
PARAM_VALUE 2 iv 3905776798999097344
BUF_SIZE 1 key 32
BUF_SIZE 2 iv 16
DATA_SOURCE 0 state $0
MEM_ZERO 2 iv
NOCHECK_CALL

crypto/chacha.c chacha_stream_xor() -> chacha_init()

Type Parameter Key Value
PARAM_VALUE 0 state 1211341722892881920
BUF_SIZE 1 key 32
BUF_SIZE 2 iv s32min-(-2),1-s32max
BUF_SIZE 2 iv s32min-(-2),1-s32max
DATA_SOURCE 2 iv $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *iv 0-255
UNITS 2 iv unit_byte
USER_PTR 2 iv
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 tfm_mutex

crypto/chacha.c crypto_xchacha_crypt() -> chacha_init()

Type Parameter Key Value
PARAM_VALUE 0 state 320402006664994816
BUF_SIZE 1 key 32
BUF_SIZE 2 iv s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *iv 0-255
UNITS 2 iv unit_byte
USER_PTR 2 iv
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 state 1720371015820595200
PARAM_VALUE 1 key 4096-ptr_max
PARAM_VALUE 2 iv 4096-ptr_max
BUF_SIZE 1 key 32
BUF_SIZE 2 iv 16
NOCHECK_CALL