Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/persistent-data/dm-btree.c btree_get_overwrite_leaf() -> __btree_get_overwrite_leaf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 6667255479319351296 |
| PARAM_VALUE | 0 | s->count | 0 |
| PARAM_VALUE | 0 | s->info | 4096-ptr_max |
| PARAM_VALUE | 3 | index | 6689253135124832256,8236133413698039808 |
| PARAM_VALUE | 3 | *index | (-1)-2147483645 |
| DATA_SOURCE | 1 | root | $1 |
| DATA_SOURCE | 2 | key | $2 |
| DATA_SOURCE | 3 | index | $3 |