Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/slab-depot.c complete_write() -> check_if_slab_drained()

Type Parameter Key Value
PARAM_VALUE 0 slab 4096-ptr_max
PARAM_VALUE 0 slab->allocator 4096-ptr_max
PARAM_VALUE 0 slab->allocator->depot 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c finish_reaping() -> check_if_slab_drained()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c finish_reference_block_load() -> check_if_slab_drained()

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

drivers/md/dm-vdo/slab-depot.c finish_reference_block_write() -> check_if_slab_drained()

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

drivers/md/dm-vdo/slab-depot.c finish_reference_block_write() -> check_if_slab_drained()

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

drivers/md/dm-vdo/slab-depot.c finish_summary_update() -> check_if_slab_drained()

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

drivers/md/dm-vdo/slab-depot.c handle_io_error() -> check_if_slab_drained()

Type Parameter Key Value
PARAM_VALUE 0 slab 4096-ptr_max
PARAM_VALUE 0 slab->allocator 4096-ptr_max
PARAM_VALUE 0 slab->allocator->depot 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c initiate_slab_action() -> check_if_slab_drained()

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

drivers/md/dm-vdo/slab-depot.c notify_block_allocator_of_read_only_mode() -> check_if_slab_drained()

Type Parameter Key Value
DATA_SOURCE 0 slab r next_slab
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c release_journal_locks() -> check_if_slab_drained()

Type Parameter Key Value
PARAM_VALUE 0 slab 4096-ptr_max
PARAM_VALUE 0 slab->allocator 4096-ptr_max
PARAM_VALUE 0 slab->allocator->depot 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c save_dirty_reference_blocks() -> check_if_slab_drained()

Type Parameter Key Value
PARAM_VALUE 0 slab 4096-ptr_max
DATA_SOURCE 0 slab $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c update_tail_block_location() -> check_if_slab_drained()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL