Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-pcache/cache_key.c cache_subtree_walk() -> (struct pcache_cache_subtree_walk_ctx)->before()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
PARAM_VALUE 1 key_tmp 4096-ptr_max
PARAM_VALUE 2 ctx 2042488473629507584
PARAM_VALUE 2 ctx->after 0
PARAM_VALUE 2 ctx->before 4254595691151331328
PARAM_VALUE 2 ctx->cache_tree 4096-ptr_max
PARAM_VALUE 2 ctx->delete_key_list 2085415504086302720
PARAM_VALUE 2 ctx->key 3917189810399780864
PARAM_VALUE 2 ctx->overlap_contain 1966212253595066368
PARAM_VALUE 2 ctx->overlap_contained 5489506870629826560
PARAM_VALUE 2 ctx->overlap_head 2541726130999005184
PARAM_VALUE 2 ctx->overlap_tail 4792913663780225024
PARAM_VALUE 2 ctx->pcache_req 4096-ptr_max
PARAM_VALUE 2 ctx->pcache_req->data_len 1-u32max
PARAM_VALUE 2 ctx->req_done 0-4294967294
PARAM_VALUE 2 ctx->ret (-5),0
PARAM_VALUE 2 ctx->submit_req_list 3281545108482732032
PARAM_VALUE 2 ctx->walk_done 8561394763206897664
PARAM_VALUE 2 ctx->walk_finally 1317919363233894400
CAPPED_DATA 2 ctx->pcache_req->data_len 1
CAPPED_DATA 2 ctx->req_done 1
DATA_SOURCE 2 ctx $0
CONTAINER 0 *(-72+24) $(-1)
CONTAINER 2 -72+0 $(-1)
PARAM_COMPARE 2 ctx->pcache_req->data_len > $2->req_done
TASK_NOT_RUNNING
LOCK2 &cache_subtree->tree_lock
HALF_LOCKED2 &md->io_barrier
TYPE_LOCK (struct pcache_cache_subtree)->tree_lock