Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/android/tests/binder_alloc_kunit.c permute_frees() -> stringify_free_seq()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 0 test->last_seen.file 2653617795322699776,8090938237943001088
PARAM_VALUE 0 test->last_seen.line 99,280
PARAM_VALUE 0 test->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->log->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 test->status 1
PARAM_VALUE 1 seq 4096-ptr_max
PARAM_VALUE 2 sb 5023850892394590208
PARAM_VALUE 2 sb->buffer 4096-ptr_max
PARAM_VALUE 2 sb->len 0
PARAM_VALUE 2 sb->size 16
BUF_SIZE 1 seq (-1),20
BUF_SIZE 1 seq (-1),20
DATA_SOURCE 0 test $0
NOCHECK_CALL