Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/crypto/chacha20poly1305.c __chacha20poly1305_decrypt() -> chacha20_crypt()

Type Parameter Key Value
PARAM_VALUE 0 state 4348867854286954496,5205286785874903040
PARAM_VALUE 2 src 18379471554275704832,18446612682070032384
PARAM_VALUE 3 bytes 32
BUF_SIZE 1 dst 32
DATA_SOURCE 0 state $5
DATA_SOURCE 2 src r lowmem_page_address
NOCHECK_CALL
UNITS 3 bytes unit_byte

lib/crypto/chacha20poly1305.c __chacha20poly1305_decrypt() -> chacha20_crypt()

Type Parameter Key Value
PARAM_VALUE 0 state 4348867854286954496,5205286785874903040
PARAM_VALUE 1 dst 0,16,4096-ptr_max
BUF_SIZE 1 dst (-1),12,16,32,1505-1048592
BUF_SIZE 1 dst (-1),12,16,32,1505-1048592
BUF_SIZE 2 src (-1),16,28,32,48,1505-1048592
BUF_SIZE 2 src (-1),16,28,32,48,1505-1048592
DATA_SOURCE 0 state $5
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
NOCHECK_CALL
USER_DATA 2 *src 0-255
UNITS 3 bytes unit_byte
USER_PTR 2 src

lib/crypto/chacha20poly1305.c __chacha20poly1305_encrypt() -> chacha20_crypt()

Type Parameter Key Value
PARAM_VALUE 0 state 1271332141162176512,8433048263571124224
PARAM_VALUE 2 src 18379471554275704832,18446612682070032384
PARAM_VALUE 3 bytes 32
BUF_SIZE 1 dst 32
DATA_SOURCE 0 state $5
DATA_SOURCE 2 src r lowmem_page_address
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 bytes unit_byte

lib/crypto/chacha20poly1305.c __chacha20poly1305_encrypt() -> chacha20_crypt()

Type Parameter Key Value
PARAM_VALUE 0 state 1271332141162176512,8433048263571124224
BUF_SIZE 1 dst (-1),16,28,32,48,4096
BUF_SIZE 1 dst (-1),16,28,32,48,4096
BUF_SIZE 2 src (-1)-1048575
BUF_SIZE 2 src (-1)-1048575
DATA_SOURCE 0 state $5
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
DATA_SOURCE 3 bytes $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *src 0-255
USER_DATA 3 bytes 1489-1048575[c]
UNITS 2 src unit_byte
UNITS 3 bytes unit_byte
USER_PTR 2 src

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

Type Parameter Key Value
PARAM_VALUE 0 state 3888794114773729280
PARAM_VALUE 2 src 18379471554275704832,18446612682070032384
PARAM_VALUE 3 bytes 32
BUF_SIZE 1 dst 32
DATA_SOURCE 2 src r lowmem_page_address
NOCHECK_CALL
UNITS 3 bytes unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 state 3888794114773729280
PARAM_VALUE 3 bytes 0-s32max
NOCHECK_CALL
UNITS 1 dst unit_byte
UNITS 2 src unit_byte
UNITS 3 bytes unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 state 3888794114773729280
PARAM_VALUE 2 src 18379471554275704832,18446612682070032384
PARAM_VALUE 3 bytes 64
BUF_SIZE 1 dst 64
DATA_SOURCE 2 src r lowmem_page_address
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 state 1720371015820595200
PARAM_VALUE 3 bytes 32
BUF_SIZE 1 dst 32
BUF_SIZE 2 src 32
NOCHECK_CALL
UNITS 3 bytes unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 state 1720371015820595200
PARAM_VALUE 1 dst 16,4096-ptr_max
BUF_SIZE 1 dst 4096
BUF_SIZE 1 dst 4096
DATA_SOURCE 1 dst $0
DATA_SOURCE 2 src $1
DATA_SOURCE 3 bytes $2
MEM_ZERO 1 dst
NOCHECK_CALL