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_free_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,243 |
| 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_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 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | alloc | $1 |
| DATA_SOURCE | 5 | end | $3 |
| FUZZY_MAX | 0 | test->last_seen.line | 243 |
| STR_LEN | 0 | test->last_seen.file | (-1),42 |
| UNITS | 5 | end | unit_byte |
drivers/android/tests/binder_alloc_kunit.c binder_alloc_test_alloc_free() -> binder_alloc_test_free_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,266 |
| 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 |
| DATA_SOURCE | 5 | end | $3 |
| FUZZY_MAX | 0 | test->last_seen.line | 266 |
| STR_LEN | 0 | test->last_seen.file | (-1),42 |
| UNITS | 5 | end | unit_byte |