Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/crypto/tests/polyval_kunit.c test_polyval_with_guarded_key() -> check_key_consistency()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 2970259352006627328
PARAM_VALUE 0 test->last_seen.line 35
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 key1 2305183745063940096
PARAM_VALUE 2 key2 6150979341101633536
DATA_SOURCE 0 test $0
NOCHECK_CALL

lib/crypto/tests/polyval_kunit.c test_polyval_with_guarded_key() -> check_key_consistency()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1671261657879351296
PARAM_VALUE 0 test->last_seen.line 111
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 key1 2305183745063940096
PARAM_VALUE 2 key2 4096-ptr_max
DATA_SOURCE 0 test $0
DATA_SOURCE 2 key2 r alloc_guarded_buf
NOCHECK_CALL

lib/crypto/tests/polyval_kunit.c test_polyval_with_minimally_aligned_key() -> check_key_consistency()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1671261657879351296
PARAM_VALUE 0 test->last_seen.line 153
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 key1 8819776798574796800
PARAM_VALUE 2 key2 4096-ptr_max
BUF_SIZE 0 test->last_seen.file 33
DATA_SOURCE 0 test $0
STR_LEN 0 test->last_seen.file 32
NOCHECK_CALL

lib/crypto/tests/ghash_kunit.c test_ghash_with_guarded_key() -> check_key_consistency()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 2970259352006627328
PARAM_VALUE 0 test->last_seen.line 35
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 key1 8205568618814697472
PARAM_VALUE 2 key2 5320065570371801088
DATA_SOURCE 0 test $0
NOCHECK_CALL

lib/crypto/tests/ghash_kunit.c test_ghash_with_guarded_key() -> check_key_consistency()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 659732110022983680
PARAM_VALUE 0 test->last_seen.line 84
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 key1 8205568618814697472
PARAM_VALUE 2 key2 4096-ptr_max
DATA_SOURCE 0 test $0
DATA_SOURCE 2 key2 r alloc_guarded_buf
NOCHECK_CALL

lib/crypto/tests/ghash_kunit.c test_ghash_with_minimally_aligned_key() -> check_key_consistency()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 659732110022983680
PARAM_VALUE 0 test->last_seen.line 126
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 key1 221286955302932480
PARAM_VALUE 2 key2 4096-ptr_max
BUF_SIZE 0 test->last_seen.file 31
DATA_SOURCE 0 test $0
STR_LEN 0 test->last_seen.file 30
NOCHECK_CALL