Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/persistent-data/dm-space-map-common.c sm_ll_dec_bitmap() -> sm_set_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 0,4096-ptr_max
PARAM_VALUE 2 val 0
DATA_SOURCE 1 b $2 [m]
NOCHECK_CALL

drivers/md/persistent-data/dm-space-map-common.c sm_ll_dec_bitmap() -> sm_set_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 0,4096-ptr_max
PARAM_VALUE 2 val 1
DATA_SOURCE 1 b $2 [m]
NOCHECK_CALL

drivers/md/persistent-data/dm-space-map-common.c sm_ll_dec_bitmap() -> sm_set_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 2 val 2
DATA_SOURCE 1 b $2 [m]
NOCHECK_CALL

drivers/md/persistent-data/dm-space-map-common.c sm_ll_inc_bitmap() -> sm_set_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 0,4096-ptr_max
PARAM_VALUE 2 val 1
DATA_SOURCE 1 b $2 [m]
NOCHECK_CALL

drivers/md/persistent-data/dm-space-map-common.c sm_ll_inc_bitmap() -> sm_set_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 0,4096-ptr_max
PARAM_VALUE 2 val 2
DATA_SOURCE 1 b $2 [m]
NOCHECK_CALL

drivers/md/persistent-data/dm-space-map-common.c sm_ll_inc_bitmap() -> sm_set_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 0,4096-ptr_max
PARAM_VALUE 2 val 3
DATA_SOURCE 1 b $2 [m]
NOCHECK_CALL

drivers/md/persistent-data/dm-space-map-common.c sm_ll_insert() -> sm_set_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 2 val 0-2
CAPPED_DATA 1 b 1
DATA_SOURCE 0 addr r dm_bitmap_data
DATA_SOURCE 2 val $2
FUZZY_MAX 2 val 2
HARD_MAX 2 val 2
NOCHECK_CALL

drivers/md/persistent-data/dm-space-map-common.c sm_ll_insert() -> sm_set_bitmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 2 val 3
CAPPED_DATA 1 b 1
DATA_SOURCE 0 addr r dm_bitmap_data
NOCHECK_CALL