Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 brb 4096-ptr_max
PARAM_VALUE 1 old 0-1024
CAPPED_DATA 0 brb->begin 1
CAPPED_DATA 0 brb->end 1
CAPPED_DATA 1 old 1
DATA_SOURCE 0 brb $0
PARAM_COMPARE 0 brb->begin != $0->end
PARAM_COMPARE 1 old != $0->end
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &pmd->root_lock

drivers/md/persistent-data/dm-space-map-metadata.c brb_push() -> brb_next()

Type Parameter Key Value
PARAM_VALUE 0 brb 4096-ptr_max
PARAM_VALUE 1 old 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 sm_metadata_count_is_more_than_one() -> brb_next()

Type Parameter Key Value
PARAM_VALUE 0 brb 4096-ptr_max
PARAM_VALUE 1 old 0-1024

drivers/md/persistent-data/dm-space-map-metadata.c sm_metadata_get_count() -> brb_next()

Type Parameter Key Value
PARAM_VALUE 0 brb 4096-ptr_max
PARAM_VALUE 1 old 0-1024
HALF_LOCKED2 &pmd->root_lock