Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-pcache/cache_key.c fixup_overlap_contained() -> get_pre_alloc_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1806185828701212672 |
| PARAM_VALUE | 0 | ctx->after | 0 |
| PARAM_VALUE | 0 | ctx->before | 0 |
| PARAM_VALUE | 0 | ctx->cache_tree | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctx->delete_key_list | 0 |
| PARAM_VALUE | 0 | ctx->key | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctx->overlap_contain | 0,563212060244279296 |
| PARAM_VALUE | 0 | ctx->overlap_contained | 0,5180001974941458432 |
| PARAM_VALUE | 0 | ctx->overlap_head | 0,929327268487643136 |
| PARAM_VALUE | 0 | ctx->overlap_tail | 0,2829585443154731008 |
| PARAM_VALUE | 0 | ctx->pcache_req | 0 |
| PARAM_VALUE | 0 | ctx->pre_alloc_key | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctx->ret | (-5),0 |
| PARAM_VALUE | 0 | ctx->submit_req_list | 0 |
| PARAM_VALUE | 0 | ctx->walk_done | 0 |
| PARAM_VALUE | 0 | ctx->walk_finally | 0 |
| DATA_SOURCE | 0 | ctx | $2 |
| TASK_NOT_RUNNING | |||
| LOCK2 | &cache_subtree->tree_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct pcache_cache_subtree)->tree_lock |