Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/android/tests/binder_alloc_kunit.c binder_alloc_test_alloc_free() -> binder_alloc_test_alloc_buf()

Type Parameter Key Value
PARAM_VALUE 1 alloc->mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 alloc->mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 3 sizes 0,4096-ptr_max
PARAM_VALUE 4 seq 4096-ptr_max
BUF_SIZE 2 buffers 40
BUF_SIZE 3 sizes (-1),40
BUF_SIZE 3 sizes (-1),40
BUF_SIZE 4 seq (-1),20
BUF_SIZE 4 seq (-1),20
DATA_SOURCE 0 test $0
DATA_SOURCE 1 alloc $1

drivers/android/tests/binder_alloc_kunit.c binder_alloc_test_alloc_free() -> binder_alloc_test_alloc_buf()

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,251
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 alloc 4096-ptr_max
PARAM_VALUE 1 alloc->allocated_buffers.rb_node 4096-ptr_max
PARAM_VALUE 1 alloc->free_buffers.rb_node 4096-ptr_max
PARAM_VALUE 1 alloc->mm->async_put_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 1 alloc->mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 alloc->mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 1 alloc->pages 4096-ptr_max
PARAM_VALUE 1 alloc->pages_high 1-u64max
PARAM_VALUE 1 *alloc->pages 1-u64max
PARAM_VALUE 3 sizes 4096-ptr_max
PARAM_VALUE 4 seq 4096-ptr_max
BUF_SIZE 0 test->last_seen.file (-1),43
BUF_SIZE 2 buffers 40
BUF_SIZE 3 sizes (-1),40
BUF_SIZE 3 sizes (-1),40
BUF_SIZE 4 seq (-1),20
BUF_SIZE 4 seq (-1),20
CAPPED_DATA 1 alloc->vm_start 1
DATA_SOURCE 0 test $0
DATA_SOURCE 1 alloc $1
FUZZY_MAX 0 test->last_seen.line 251
STR_LEN 0 test->last_seen.file (-1),42