Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/test_objpool.c ot_fini_sync() -> ot_kfree()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->async 0
PARAM_VALUE 1 ptr 4096-ptr_max
PARAM_VALUE 2 size 96
BUF_SIZE 1 ptr 96
DATA_SOURCE 1 ptr $0
NOCHECK_CALL
UNITS 2 size unit_byte

lib/test_objpool.c ot_init_async_m0() -> ot_kfree()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->async s32min-(-1),1-s32max
PARAM_VALUE 0 test->objsz 280,512
PARAM_VALUE 1 ptr 4096-ptr_max
PARAM_VALUE 2 size 96
BUF_SIZE 1 ptr 96
DATA_SOURCE 0 test $0
DATA_SOURCE 1 ptr r ot_kzalloc
FUZZY_MAX 0 test->objsz 512
NOCHECK_CALL
UNITS 2 size unit_byte

lib/test_objpool.c ot_init_sync_m0() -> ot_kfree()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->async 0
PARAM_VALUE 0 test->objsz 280,512
PARAM_VALUE 1 ptr 4096-ptr_max
PARAM_VALUE 2 size 96
BUF_SIZE 1 ptr 96
DATA_SOURCE 0 test $0
DATA_SOURCE 1 ptr r ot_kzalloc
FUZZY_MAX 0 test->objsz 512
NOCHECK_CALL
UNITS 2 size unit_byte

lib/test_objpool.c ot_objpool_release() -> ot_kfree()

Type Parameter Key Value
PARAM_VALUE 1 ptr 4096-ptr_max
PARAM_VALUE 2 size 96
BUF_SIZE 1 ptr 88,96
DATA_SOURCE 1 ptr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte