Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/dm-vdo/vdo.c vdo_destroy() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-vdo/vdo.c vdo_destroy() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-vdo/dm-vdo-target.c grow_layout() -> vdo_uninitialize_layout()

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

drivers/md/dm-vdo/dm-vdo-target.c grow_layout() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
MEM_ZERO 0 layout
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/dm-vdo-target.c grow_physical_callback() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dm-vdo-target.c grow_physical_callback() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dm-vdo-target.c perform_grow_physical() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-vdo/dm-vdo-target.c pre_load_callback() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dm-vdo-target.c prepare_to_grow_physical() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 0,4096-ptr_max
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c decode_layout() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->num_partitions 1-4
DATA_SOURCE 0 layout $4
BIT_INFO 0 layout->num_partitions 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 layout->size

drivers/md/dm-vdo/encodings.c decode_layout() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 0,4096-ptr_max
PARAM_VALUE 0 layout->num_partitions 0-4
CAPPED_DATA 0 layout->num_partitions 1
DATA_SOURCE 0 layout $4
BIT_INFO 0 layout->num_partitions 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 layout->size

drivers/md/dm-vdo/encodings.c decode_layout() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
PARAM_VALUE 0 layout->num_partitions 0-4
CAPPED_DATA 0 layout->head->id 1
CAPPED_DATA 0 layout->num_partitions 1
DATA_SOURCE 0 layout $4
BIT_INFO 0 layout->num_partitions 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 layout->size

drivers/md/dm-vdo/encodings.c vdo_decode_component_states() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 layout->size

drivers/md/dm-vdo/encodings.c vdo_destroy_component_states() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->num_partitions 0-4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/encodings.c vdo_initialize_component_states() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/encodings.c vdo_initialize_component_states() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/encodings.c vdo_initialize_component_states() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/encodings.c vdo_initialize_component_states() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/encodings.c vdo_initialize_layout() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
DATA_SOURCE 0 layout $5
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/encodings.c vdo_initialize_layout() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
DATA_SOURCE 0 layout $5
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/encodings.c vdo_initialize_layout() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
DATA_SOURCE 0 layout $5
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/encodings.c vdo_initialize_layout() -> vdo_uninitialize_layout()

Type Parameter Key Value
PARAM_VALUE 0 layout 4096-ptr_max
PARAM_VALUE 0 layout->head 4096-ptr_max
DATA_SOURCE 0 layout $5
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock