Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-thin-metadata.c __create_snap() -> __close_device()

Type Parameter Key Value
PARAM_VALUE 0 td 4096-ptr_max
PARAM_VALUE 0 td->open_count 1
NOCHECK_CALL
USER_DATA 0 td->id 0-16777215
LOCK2 &md->io_barrier
LOCK2 &pmd->root_lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm-thin-metadata.c __create_thin() -> __close_device()

Type Parameter Key Value
PARAM_VALUE 0 td 4096-ptr_max
PARAM_VALUE 0 td->open_count 1
NOCHECK_CALL
USER_DATA 0 td->id 0-16777215
LOCK2 &md->io_barrier
LOCK2 &pmd->root_lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm-thin-metadata.c __delete_device() -> __close_device()

Type Parameter Key Value
PARAM_VALUE 0 td 4096-ptr_max
PARAM_VALUE 0 td->open_count 2-s32max
NOCHECK_CALL
LOCK2 &md->io_barrier
LOCK2 &pmd->root_lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm-thin-metadata.c __set_snapshot_details() -> __close_device()

Type Parameter Key Value
PARAM_VALUE 0 td 4096-ptr_max
PARAM_VALUE 0 td->open_count s32min-s32max
NOCHECK_CALL
USER_DATA 0 td->id 0-16777215[c]
LOCK2 &md->io_barrier
LOCK2 &pmd->root_lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm-thin-metadata.c dm_pool_close_thin_device() -> __close_device()

Type Parameter Key Value
PARAM_VALUE 0 td 4096-ptr_max
DATA_SOURCE 0 td $0
NOCHECK_CALL
USER_DATA 0 td->id 0-16777215
NO_OVERFLOW_SIMPLE 0 td->id
LOCK2 global &dm_thin_pool_table.mutex
LOCK2 0 &td->pmd->root_lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock
TYPE_LOCK (struct dm_thin_pool_table)->mutex