Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/crypto/gf128hash.c polyval_final() -> polyval_mul()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->partial 1-u64max
PARAM_VALUE 0 *ctx->acc.bytes 0-255
BUF_SIZE 0 ctx (-1),32
BUF_SIZE 0 ctx (-1),32
DATA_SOURCE 0 ctx $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ctx->partial 1-15[c]
USER_DATA 0 ctx->acc.hi 0-u64max[c]
USER_DATA 0 ctx->acc.lo 0-u64max[c]
USER_DATA 0 ctx->partial 1-15[c]
UNITS 0 ctx unit_byte

lib/crypto/gf128hash.c polyval_update() -> polyval_mul()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->partial 16-u64max
BUF_SIZE 0 ctx (-1),32
BUF_SIZE 0 ctx (-1),32
DATA_SOURCE 0 ctx $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->acc.hi 0-u64max[c]
USER_DATA 0 ctx->acc.lo 0-u64max[c]
UNITS 0 ctx unit_byte