Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-bio-prison-v2.c __find_or_insert() -> cmp_keys()

Type Parameter Key Value
PARAM_VALUE 0 lhs 2232107600750587904,5548328329037697024,8777154073377255424
PARAM_VALUE 0 lhs->dev 0
PARAM_VALUE 0 lhs->virtual 0
PARAM_VALUE 1 rhs 4096-ptr_max
DATA_SOURCE 0 lhs $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 lhs->block_begin 0-u64max
USER_DATA 0 lhs->block_begin 0-u64max
LOCK2 &prison->lock
LOCK2 irq
HALF_LOCKED2 &cache->background_work_lock
TYPE_LOCK (struct dm_bio_prison_v2)->lock

drivers/md/dm-bio-prison-v1.c __bio_detain() -> cmp_keys()

Type Parameter Key Value
PARAM_VALUE 0 lhs 5552999541515685888,5662298524786028544,6765547929936105472,7937555813327331328,8984341500197179392
PARAM_VALUE 0 lhs->virtual 0-1
PARAM_VALUE 1 rhs 4096-ptr_max
CAPPED_DATA 0 lhs->virtual 1
DATA_SOURCE 0 lhs $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pool->lock