Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

lib/crypto/tests/polyval_kunit.c hash_irq_test2_func() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
BUF_SIZE 1 out 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/polyval_kunit.c polyval() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5787513993285054464
BUF_SIZE 1 out (-1),16
BUF_SIZE 1 out (-1),16
DATA_SOURCE 1 out $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/polyval_kunit.c test_hash_all_lens_up_to_4096() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7149923260238221312
PARAM_VALUE 1 out 4108837548965961728
BUF_SIZE 1 out 16
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/polyval_kunit.c test_hash_buffer_overruns() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 9163165509049499648
BUF_SIZE 1 out 16
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/polyval_kunit.c test_hash_buffer_overruns() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 9163165509049499648
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/polyval_kunit.c test_hash_buffer_overruns() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 *ctx->acc.bytes 0-255
BUF_SIZE 1 out 16
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial
UNITS 0 ctx unit_byte

lib/crypto/tests/polyval_kunit.c test_hash_ctx_zeroization() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3312988314060922880
BUF_SIZE 1 out 16
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/polyval_kunit.c test_hash_incremental_updates() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1014031860735492096
BUF_SIZE 1 out 16
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/polyval_kunit.c test_hash_overlaps() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6377355840351879168
PARAM_VALUE 1 out 1-u64max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/polyval_kunit.c test_hash_overlaps() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6377355840351879168
PARAM_VALUE 1 out 1-u64max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/polyval_kunit.c test_polyval_allones_key_and_message() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6669858392512684032
PARAM_VALUE 1 out 6795434937498390528
BUF_SIZE 1 out 16
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

crypto/hctr2.c hctr2_hash_message() -> polyval_final()

Type Parameter Key Value
PARAM_VALUE 0 *ctx->acc.bytes 0-255
BUF_SIZE 0 ctx 32
BUF_SIZE 1 out 16
BUF_SIZE 1 out 16
DATA_SOURCE 1 out $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ctx->partial 0-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 0-15[c]
NO_OVERFLOW_SIMPLE 0 ctx->partial