Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-vdo/dm-vdo-target.c suspend_callback() -> vdo_drain_block_map()

Type Parameter Key Value
PARAM_VALUE 2 parent 4096-ptr_max
PARAM_VALUE 2 parent->vdo 4096-ptr_max
PARAM_VALUE 2 parent->vdo->admin.completion.requeue 1
BUF_SIZE 2 parent (-1),4,8-s32max
BUF_SIZE 2 parent (-1),4,8-s32max
BUF_SIZE 2 parent->parent (-1),8-s32max
DATA_SOURCE 2 parent $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 parent->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 2 parent->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.thread_count

drivers/md/dm-vdo/repair.c flush_block_map() -> vdo_drain_block_map()

Type Parameter Key Value
PARAM_VALUE 1 operation 6152999332035383296,8829472216689283072
PARAM_VALUE 2 parent 4096-ptr_max
PARAM_VALUE 2 parent->vdo 4096-ptr_max
BUF_SIZE 2 parent (-1),4,8-s32max
BUF_SIZE 2 parent (-1),4,8-s32max
BUF_SIZE 2 parent->parent (-1),8-s32max
DATA_SOURCE 2 parent $0
BIT_INFO 1 operation 0x5000900241221000,0x7febde7bf5ff5000
BIT_INFO 1 operation 0x5000900241221000,0x7febde7bf5ff5000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 parent->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 2 parent->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.thread_count

drivers/md/dm-vdo/repair.c flush_block_map_updates() -> vdo_drain_block_map()

Type Parameter Key Value
PARAM_VALUE 2 parent 4096-ptr_max
PARAM_VALUE 2 parent->vdo 4096-ptr_max
BUF_SIZE 2 parent (-1),4,8-s32max
BUF_SIZE 2 parent (-1),4,8-s32max
BUF_SIZE 2 parent->parent (-1),8-s32max
DATA_SOURCE 2 parent $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 parent->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 2 parent->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 2 parent->vdo->thread_config.thread_count