Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->partial 0,16-u64max
PARAM_VALUE 2 nblocks 1-1152921504606846975
BUF_SIZE 0 ctx (-1),32
BUF_SIZE 0 ctx (-1),32
BUF_SIZE 1 data s32min-(-1),1-s32max
BUF_SIZE 1 data s32min-(-1),1-s32max
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 data $1 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ctx->partial 0[c]
HOST_DATA 2 nblocks 1-134217727[c]
USER_DATA 0 ctx->acc.hi 0-u64max[c]
USER_DATA 0 ctx->acc.lo 0-u64max[c]
USER_DATA 0 ctx->partial 0[c]
USER_DATA 1 *data 0-255
USER_DATA 2 nblocks 1-134217727[c]
UNITS 0 ctx unit_byte
UNITS 1 data unit_byte
USER_PTR 1 data