Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/persistent-data/dm-space-map-metadata.c apply_bops() -> commit_bop()

Type Parameter Key Value
PARAM_VALUE 0 smm 4096-ptr_max
PARAM_VALUE 0 smm->ll.tm->is_clone s32min-s32max
PARAM_VALUE 0 smm->uncommitted.begin 0-1024
PARAM_VALUE 0 smm->uncommitted.end 0-1024
PARAM_VALUE 1 op 8062610248815427584
CAPPED_DATA 0 smm->uncommitted.begin 1
CAPPED_DATA 0 smm->uncommitted.end 1
DATA_SOURCE 0 smm $0
PARAM_COMPARE 0 smm->uncommitted.begin != $0->uncommitted.end
NO_OVERFLOW_SIMPLE 0 smm->ll.bitmap_info.tm->bm->bufio->block_size
NO_OVERFLOW_SIMPLE 0 smm->ll.tm->bm->bufio->block_size
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &pmd->root_lock