Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/mballoc-test.c test_mb_free_blocks() -> test_mb_free_blocks_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 6332356721268682752 |
| PARAM_VALUE | 0 | test->last_seen.line | 700,879 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | e4b | 50024927286890496 |
| PARAM_VALUE | 1 | e4b->bd_bitmap_folio | 4096-ptr_max |
| PARAM_VALUE | 1 | e4b->bd_blkbits | 0-255 |
| PARAM_VALUE | 1 | e4b->bd_buddy_folio | 4096-ptr_max |
| PARAM_VALUE | 1 | e4b->bd_group | 1 |
| PARAM_VALUE | 1 | e4b->bd_info | 4096-ptr_max |
| PARAM_VALUE | 1 | e4b->bd_sb | 4096-ptr_max |
| PARAM_VALUE | 4 | bitmap | 16,4096-ptr_max |
| PARAM_VALUE | 5 | buddy | 16,4096-ptr_max |
| PARAM_VALUE | 6 | grp | 4096-ptr_max |
| PARAM_VALUE | 6 | grp->bb_avg_fragment_size_order | (-1)-30 |
| PARAM_VALUE | 6 | grp->bb_free | 0 |
| BUF_SIZE | 0 | test->last_seen.file | (-1),23 |
| BUF_SIZE | 4 | bitmap | 0-4096 |
| BUF_SIZE | 4 | bitmap | 0-4096 |
| BUF_SIZE | 5 | buddy | 0-4096 |
| BUF_SIZE | 5 | buddy | 0-4096 |
| BUF_SIZE | 6 | grp | 0-u64max |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 4 | bitmap | r kunit_kzalloc |
| DATA_SOURCE | 5 | buddy | r kunit_kzalloc |
| DATA_SOURCE | 6 | grp | r kunit_kzalloc |
| FUZZY_MAX | 0 | test->last_seen.line | 879 |
| STR_LEN | 0 | test->last_seen.file | (-1),22 |
| MEM_ZERO | 4 | bitmap | |
| MEM_ZERO | 5 | buddy | |
| MEM_ZERO | 6 | grp | |
| NOCHECK_CALL |