Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/admin-state.c vdo_start_draining() -> start_operation()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->current_state->normal 1
PARAM_VALUE 0 state->current_state->quiescent 0
PARAM_VALUE 1 operation 4096-ptr_max
PARAM_VALUE 1 operation->draining 1
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter->parent (-1),8-s32max
DATA_SOURCE 0 state $0
DATA_SOURCE 1 operation $1
DATA_SOURCE 2 waiter $2
DATA_SOURCE 3 initiator $3
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 waiter->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 2 waiter->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.thread_count

drivers/md/dm-vdo/admin-state.c vdo_start_loading() -> start_operation()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 1 operation 4096-ptr_max
PARAM_VALUE 1 operation->loading 1
DATA_SOURCE 0 state $0
DATA_SOURCE 1 operation $1
DATA_SOURCE 2 waiter $2
DATA_SOURCE 3 initiator $3

drivers/md/dm-vdo/admin-state.c vdo_start_resuming() -> start_operation()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
DATA_SOURCE 0 state $0
DATA_SOURCE 1 operation $1
DATA_SOURCE 2 waiter $2
DATA_SOURCE 3 initiator $3