Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/slub.c kunit_release_resource() -> (struct kunit_resource)->free()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->free 1-u64max
CONTAINER 0 -16+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &slab_mutex

lib/kunit/static_stub.c kunit_release_resource() -> (struct kunit_resource)->free()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->free 1-u64max
CONTAINER 0 -16+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/kunit/platform.c kunit_release_resource() -> (struct kunit_resource)->free()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->free 1-u64max
CONTAINER 0 -16+0 $(-1)
NOCHECK_CALL

lib/tests/slub_kunit.c kunit_release_resource() -> (struct kunit_resource)->free()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->free 1-u64max
CONTAINER 0 -16+0 $(-1)
NOCHECK_CALL

lib/kunit/kunit-example-test.c kunit_release_resource() -> (struct kunit_resource)->free()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->free 1-u64max
CONTAINER 0 -16+0 $(-1)
NOCHECK_CALL

lib/kunit/resource.c kunit_release_resource() -> (struct kunit_resource)->free()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->free 1-u64max
CONTAINER 0 -16+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL

lib/tests/fortify_kunit.c kunit_release_resource() -> (struct kunit_resource)->free()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->free 1-u64max
CONTAINER 0 -16+0 $(-1)
NOCHECK_CALL

lib/kunit/kunit-test.c kunit_release_resource() -> (struct kunit_resource)->free()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->free 1-u64max
CONTAINER 0 -16+0 $(-1)
RX_PATH
NOCHECK_CALL