Open Menu /

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/md/dm-thin-metadata.c __destroy_persistent_data_objects() -> dm_sm_destroy()

Type Parameter Key Value
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sm->ll.tm->bm->bufio->block_size
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/dm-thin-metadata.c __destroy_persistent_data_objects() -> dm_sm_destroy()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/dm-thin-metadata.c __format_metadata() -> dm_sm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max
BUF_SIZE 0 sm 112
DATA_SOURCE 0 sm r dm_sm_disk_create
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sm->ll.bitmap_info.tm->bm->bufio->block_size
LOCK2 global &dm_thin_pool_table.mutex
HALF_LOCKED2 &md->type_lock
TYPE_LOCK (struct dm_thin_pool_table)->mutex

drivers/md/dm-thin-metadata.c __format_metadata() -> dm_sm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max,(-12)
NOCHECK_CALL
LOCK2 global &dm_thin_pool_table.mutex
HALF_LOCKED2 &md->type_lock
TYPE_LOCK (struct dm_thin_pool_table)->mutex

drivers/md/dm-thin-metadata.c __open_metadata() -> dm_sm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max
BUF_SIZE 0 sm 112
DATA_SOURCE 0 sm r dm_sm_disk_open
NOCHECK_CALL
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/dm-thin-metadata.c __open_metadata() -> dm_sm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max,(-12)
NOCHECK_CALL
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/dm-era-target.c create_fresh_metadata() -> dm_sm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max,(-12)
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-era-target.c destroy_persistent_data_objects() -> dm_sm_destroy()

Type Parameter Key Value
NOCHECK_CALL

drivers/md/dm-era-target.c format_metadata() -> dm_sm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max
PARAM_VALUE 0 sm->root_size 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/persistent-data/dm-transaction-manager.c dm_tm_create_internal() -> dm_sm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max
DATA_SOURCE 0 sm r dm_sm_metadata_init
PREEMPT_ADD
NOCHECK_CALL

drivers/md/persistent-data/dm-transaction-manager.c dm_tm_create_internal() -> dm_sm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max
DATA_SOURCE 0 sm r dm_sm_metadata_init
PREEMPT_ADD
NOCHECK_CALL

drivers/md/dm-cache-metadata.c __destroy_persistent_data_objects() -> dm_sm_destroy()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &cmd->root_lock

drivers/md/dm-cache-metadata.c __format_metadata() -> dm_sm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max,(-12)
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-clone-metadata.c __destroy_persistent_data_structures() -> dm_sm_destroy()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &clone->commit_lock
HALF_LOCKED2 &cmd->lock

drivers/md/dm-clone-metadata.c __format_metadata() -> dm_sm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 sm 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &clone->commit_lock
HALF_LOCKED2 &cmd->lock