Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/kasan/kasan_test_c.c mempool_kmalloc_double_free() -> mempool_double_free_helper()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1834859717821100032
PARAM_VALUE 0 test->last_seen.line 1264
PARAM_VALUE 1 pool 8942448776915165184
PARAM_VALUE 1 pool->alloc 478628002987114496
PARAM_VALUE 1 pool->free 9178302734063534080
PARAM_VALUE 1 pool->min_nr 4
PARAM_VALUE 1 pool->pool_data 128
DATA_SOURCE 0 test $0
MEM_ZERO 1 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_kmalloc_large_double_free() -> mempool_double_free_helper()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1834859717821100032
PARAM_VALUE 0 test->last_seen.line 1264
PARAM_VALUE 1 pool 7120382303171424256
PARAM_VALUE 1 pool->alloc 478628002987114496
PARAM_VALUE 1 pool->free 9178302734063534080
PARAM_VALUE 1 pool->min_nr 4
PARAM_VALUE 1 pool->pool_data 8193
DATA_SOURCE 0 test $0
MEM_ZERO 1 pool
NOCHECK_CALL

mm/kasan/kasan_test_c.c mempool_page_alloc_double_free() -> mempool_double_free_helper()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 1834859717821100032
PARAM_VALUE 0 test->last_seen.line 1301
PARAM_VALUE 1 pool 6520781557716758528
PARAM_VALUE 1 pool->alloc 8450676485683146752
PARAM_VALUE 1 pool->free 9039121080127385600
PARAM_VALUE 1 pool->min_nr 4
PARAM_VALUE 1 pool->pool_data 2
DATA_SOURCE 0 test $0
MEM_ZERO 1 pool
NOCHECK_CALL