Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

drivers/md/dm-vdo/packer.c vdo_make_packer() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/vdo.c initialize_vdo() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/vdo.c initialize_vdo() -> vdo_set_admin_state_code()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->current_state 8937173667591942144
NOCHECK_CALL
HALF_LOCKED2 &md->type_lock

drivers/md/dm-vdo/slab-depot.c initialize_block_allocator() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/slab-depot.c initialize_block_allocator() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/slab-depot.c initialize_slab_scrubber() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/slab-depot.c make_slab() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/slab-depot.c make_slab() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/dedupe.c initialize_zone() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/dedupe.c vdo_make_hash_zones() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/dedupe.c vdo_set_dedupe_state_normal() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/recovery-journal.c vdo_decode_recovery_journal() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/action-manager.c vdo_make_action_manager() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/block-map.c initialize_block_map_zone() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/flush.c vdo_make_flusher() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/admin-state.c begin_operation() -> vdo_set_admin_state_code()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->current_state 4096-ptr_max
PARAM_VALUE 1 code 0-ptr_max
BUF_SIZE 0 state->waiter (-1),4,8-s32max
DATA_SOURCE 0 state $0
DATA_SOURCE 1 code $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/admin-state.c vdo_finish_operation() -> vdo_set_admin_state_code()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
BUF_SIZE 0 state->waiter (-1),8-s32max
DATA_SOURCE 0 state $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/admin-state.c vdo_resume_if_quiescent() -> vdo_set_admin_state_code()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
DATA_SOURCE 0 state $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &zones->lock

drivers/md/dm-vdo/logical-zone.c initialize_zone() -> vdo_set_admin_state_code()

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

drivers/md/dm-vdo/data-vio.c make_data_vio_pool() -> vdo_set_admin_state_code()

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