Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/persistent-data/dm-btree-remove.c remove_one() -> remove_nearest()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 8002867784766251008 |
| PARAM_VALUE | 0 | s->count | s32min-2 |
| PARAM_VALUE | 0 | s->info | 4096-ptr_max |
| PARAM_VALUE | 1 | info | 4096-ptr_max |
| PARAM_VALUE | 2 | vt | 4096-ptr_max |
| PARAM_VALUE | 5 | index | 6041912629263421440 |
| PARAM_VALUE | 5 | *index | 0-1073741822 |
| DATA_SOURCE | 1 | info | $0 |
| DATA_SOURCE | 3 | root | $1 [m] |
| NO_OVERFLOW_SIMPLE | 1 | info->tm->bm->bufio->block_size | |
| LOCK2 | &td->pmd->root_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct dm_pool_metadata)->root_lock |