Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/crypto/tests/blake2s_kunit.c hash_irq_test2_func() -> blake2s_init_default()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_all_lens_up_to_4096() -> blake2s_init_default()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4406478424217096192
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_buffer_overruns() -> blake2s_init_default()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7147758697685716992
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_buffer_overruns() -> blake2s_init_default()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7147758697685716992
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_buffer_overruns() -> blake2s_init_default()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 *ctx->h 0-4294967295
NOCHECK_CALL
UNITS 0 ctx unit_byte

lib/crypto/tests/blake2s_kunit.c test_hash_ctx_zeroization() -> blake2s_init_default()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3863127608820940800
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_incremental_updates() -> blake2s_init_default()

Type Parameter Key Value
PARAM_VALUE 0 ctx 495763178176278528
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_overlaps() -> blake2s_init_default()

Type Parameter Key Value
PARAM_VALUE 0 ctx 840139767123963904
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_overlaps() -> blake2s_init_default()

Type Parameter Key Value
PARAM_VALUE 0 ctx 840139767123963904
NOCHECK_CALL