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() -> brb_empty()

Type Parameter Key Value
PARAM_VALUE 0 brb 4096-ptr_max
PARAM_VALUE 0 brb->begin 0-1024
PARAM_VALUE 0 brb->end 0-1024
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &pmd->root_lock

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

Type Parameter Key Value
PARAM_VALUE 0 brb 4096-ptr_max
PARAM_VALUE 0 brb->begin 0-1024
PARAM_VALUE 0 brb->end 0-1024
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &pmd->root_lock

drivers/md/persistent-data/dm-space-map-metadata.c brb_peek() -> brb_empty()

Type Parameter Key Value
PARAM_VALUE 0 brb 4096-ptr_max
PARAM_VALUE 0 brb->begin 0-1024
PARAM_VALUE 0 brb->end 0-1024
DATA_SOURCE 0 brb $0
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &pmd->root_lock

drivers/md/persistent-data/dm-space-map-metadata.c brb_pop() -> brb_empty()

Type Parameter Key Value
PARAM_VALUE 0 brb 4096-ptr_max
PARAM_VALUE 0 brb->begin 0-1024
PARAM_VALUE 0 brb->end 0-1024
DATA_SOURCE 0 brb $0
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &pmd->root_lock