Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

lib/kunit/static_stub.c kunit_deactivate_static_stub() -> kunit_remove_resource()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 3265352354559807488
PARAM_VALUE 0 test->last_seen.line 73
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 res 4096-ptr_max
BUF_SIZE 0 test (-1),496
BUF_SIZE 0 test (-1),496
BUF_SIZE 0 test->last_seen.file 24
BUF_SIZE 0 test->priv s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 test $0
DATA_SOURCE 1 res r kunit_find_resource
STR_LEN 0 test->last_seen.file 23
STR_LEN 0 test->name (-1)
NOCHECK_CALL

lib/kunit/test.c kunit_cleanup() -> kunit_remove_resource()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 res 4096-ptr_max
BUF_SIZE 0 test (-1),496
BUF_SIZE 0 test (-1),496
BUF_SIZE 0 test->last_seen.file (-1),23
BUF_SIZE 0 test->priv s32min,(-10),(-1),1-s32max
CAPPED_DATA 0 &test->resources 1
DATA_SOURCE 0 test $0
STR_LEN 0 test->last_seen.file (-1),22
STR_LEN 0 test->name (-1)
PARAM_COMPARE 0 &test->resources != $0->resources.next
NOCHECK_CALL
HALF_LOCKED2 global &kunit_run_lock

lib/kunit/resource.c kunit_destroy_resource() -> kunit_remove_resource()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 res 4096-ptr_max
BUF_SIZE 0 test->last_seen.file (-1),23
DATA_SOURCE 0 test $0
DATA_SOURCE 1 res r kunit_find_resource
STR_LEN 0 test (-1),10
STR_LEN 0 test (-1),10
STR_LEN 0 test->last_seen.file (-1),22
NOCHECK_CALL

lib/kunit/resource.c kunit_release_action() -> kunit_remove_resource()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 res 4096-ptr_max
BUF_SIZE 0 test->last_seen.file (-1),23,31-33,35,38-41,43,47-48,53-54,57
BUF_SIZE 0 test->priv (-1),8,16,24,32,776,1344,3048
DATA_SOURCE 0 test $0
DATA_SOURCE 1 res r kunit_find_resource
STR_LEN 0 test (-1),8-9,11-16,19-23,27
STR_LEN 0 test (-1),8-9,11-16,19-23,27
STR_LEN 0 test->last_seen.file (-1),22,30-32,34,37-40,42,46-47,52-53,56
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/kunit/resource.c kunit_remove_action() -> kunit_remove_resource()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 res 4096-ptr_max
PARAM_VALUE 1 res->free 0
BUF_SIZE 0 test->last_seen.file (-1),23,29,40,43
DATA_SOURCE 0 test $0
DATA_SOURCE 1 res r kunit_find_resource
STR_LEN 0 test->last_seen.file (-1),22,28,39,42
TASK_NOT_RUNNING
NOCHECK_CALL

lib/kunit/kunit-test.c kunit_resource_test_remove_resource() -> kunit_remove_resource()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 5560335205197934592,8090938237943001088
PARAM_VALUE 0 test->last_seen.line 99,263
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->log->fragments.prev 4096-ptr_max
PARAM_VALUE 0 test->log->fragments.prev->next 4096-ptr_max
PARAM_VALUE 0 test->log->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 0 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->status 1
PARAM_VALUE 1 res 0,4096-ptr_max
PARAM_VALUE 1 res->data 1-u64max
PARAM_VALUE 1 res->free 4520060529908985856
PARAM_VALUE 1 res->name 6074748754846326784,7416667579466436608
PARAM_VALUE 1 res->node.next 4096-ptr_max
PARAM_VALUE 1 res->should_kfree 1
BUF_SIZE 0 test->last_seen.file (-1),23
BUF_SIZE 1 res (-1),56
BUF_SIZE 1 res (-1),56
DATA_SOURCE 0 test $0
DATA_SOURCE 1 res r kunit_alloc_and_get_resource
FUZZY_MAX 0 test->last_seen.line 263
STR_LEN 0 test->last_seen.file (-1),22
NOCHECK_CALL

lib/kunit/kunit-test.c kunit_resource_test_remove_resource() -> kunit_remove_resource()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 5560335205197934592,8090938237943001088
PARAM_VALUE 0 test->last_seen.line 99,271
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->log->fragments.prev 4096-ptr_max
PARAM_VALUE 0 test->log->fragments.prev->next 4096-ptr_max
PARAM_VALUE 0 test->log->fragments.prev->next->next 4096-ptr_max
PARAM_VALUE 0 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->priv 4096-ptr_max
PARAM_VALUE 0 test->status 1
PARAM_VALUE 1 res 4096-ptr_max
PARAM_VALUE 1 res->data 1-u64max
PARAM_VALUE 1 res->free 4520060529908985856
PARAM_VALUE 1 res->name 6074748754846326784,7416667579466436608
PARAM_VALUE 1 res->node.next->prev 4096-ptr_max
PARAM_VALUE 1 res->should_kfree 1
BUF_SIZE 0 test->last_seen.file (-1),23
BUF_SIZE 1 res (-1),56
BUF_SIZE 1 res (-1),56
DATA_SOURCE 0 test $0
DATA_SOURCE 1 res r kunit_alloc_and_get_resource
FUZZY_MAX 0 test->last_seen.line 271
STR_LEN 0 test->last_seen.file (-1),22
NOCHECK_CALL