Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/md/dm-thin-metadata.c __remove_range() -> dm_btree_remove_leaves()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 2 | first_key | 4096-ptr_max |
| PARAM_VALUE | 2 | *first_key | 0-18446744073709551614 |
| PARAM_VALUE | 3 | end_key | 1-u64max |
| PARAM_VALUE | 4 | new_root | 3157188783361888256 |
| PARAM_VALUE | 5 | nr_removed | 6393982338744705024 |
| DATA_SOURCE | 3 | end_key | $2 |
| NO_OVERFLOW_SIMPLE | 2 | *first_key | |
| NO_OVERFLOW_SIMPLE | 3 | end_key | |
| LOCK2 | &td->pmd->root_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct dm_pool_metadata)->root_lock |