Defined in 1 files as a prototype:

Referenced in 1 files:

Smatch caller information:

lib/crypto/poly1305.c poly1305_blocks() -> poly1305_blocks_avx512()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 2 $ 1-4096
PARAM_VALUE 3 $ 0-1
BUF_SIZE 1 $ (-1),16,28,32,48,128,1505-1048592
BUF_SIZE 1 $ (-1),16,28,32,48,128,1505-1048592
CAPPED_DATA 2 $ 1
DATA_SOURCE 1 $ $1 [m]
DATA_SOURCE 3 $ $3
HARD_MAX 3 $ 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 $ 4096-ptr_max[c][u]
USER_DATA 1 *$ 0-255
USER_DATA 2 $ 1-4095[c]
UNITS 1 $ unit_byte
USER_PTR 1 $