Open Menu /

Documented in 1 files:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/dm-vdo/slab-depot.c add_entries() -> commit_tail()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 0 journal->entry_waiters.last_waiter 1-u64max
PARAM_VALUE 0 journal->partial_write_in_progress 0
PARAM_VALUE 0 journal->slab 4096-ptr_max
PARAM_VALUE 0 journal->slab->status 0-3,5-u32max
PARAM_VALUE 0 journal->waiting_to_commit 0
BUF_SIZE 0 journal (-1),8-s32max
BUF_SIZE 0 journal (-1),8-s32max
CAPPED_DATA 0 journal->full_entries_per_block 1
DATA_SOURCE 0 journal $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c add_entries() -> commit_tail()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 0 journal->adding_entries 0
PARAM_VALUE 0 journal->entry_waiters.last_waiter 0
PARAM_VALUE 0 journal->slab 4096-ptr_max
BUF_SIZE 0 journal (-1),8-s32max
BUF_SIZE 0 journal (-1),8-s32max
DATA_SOURCE 0 journal $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c add_entry() -> commit_tail()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 0 journal->block->payload->full_entries.entry_types 0-255
PARAM_VALUE 0 journal->slab 4096-ptr_max
PARAM_VALUE 0 journal->tail_header.has_block_map_increments 1
BUF_SIZE 0 journal (-1),4,8-s32max
BUF_SIZE 0 journal (-1),4,8-s32max
CAPPED_DATA 0 journal->full_entries_per_block 1
CAPPED_DATA 0 journal->tail_header.entry_count 1
CAPPED_DATA 0 journal->tail_header.recovery_point.sequence_number 1
DATA_SOURCE 0 journal $0
PARAM_COMPARE 0 journal->full_entries_per_block == $0->tail_header.entry_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c drain_slab() -> commit_tail()

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

drivers/md/dm-vdo/slab-depot.c release_recovery_journal_lock() -> commit_tail()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 0 journal->slab 4096-ptr_max
PARAM_VALUE 0 journal->slab->allocator 4096-ptr_max
PARAM_VALUE 0 journal->slab->allocator->depot 4096-ptr_max
PARAM_VALUE 0 journal->slab->allocator->depot->vdo 4096-ptr_max
PARAM_VALUE 0 journal->slab->allocator->depot->vdo->threads 4096-ptr_max
CAPPED_DATA 0 journal->recovery_lock 1
DATA_SOURCE 0 journal $0
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c vdo_attempt_replay_into_slab() -> commit_tail()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 0 journal->tail_header.recovery_point.entry_count 0-65534
BUF_SIZE 0 journal 304
CAPPED_DATA 0 journal->full_entries_per_block 1
CAPPED_DATA 0 journal->tail_header.recovery_point.entry_count 1
CAPPED_DATA 0 journal->tail_header.recovery_point.sequence_number 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/drm_atomic_helper.c commit_work() -> commit_tail()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/drm_atomic_helper.c drm_atomic_helper_commit() -> commit_tail()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 0 journal->async_update 0
PARAM_VALUE 0 journal->checked 1
PARAM_VALUE 0 journal->dev 4096-ptr_max
PARAM_VALUE 0 journal->dev->mode_config.funcs 4096-ptr_max
PARAM_VALUE 0 journal->dev->mode_config.helper_private->atomic_commit_setup 0,2854509176089305088,4835567830784204800,7680721074952196096
PARAM_VALUE 0 journal->fake_commit 1-u64max
BUF_SIZE 0 journal (-1),176
BUF_SIZE 0 journal (-1),176
BUF_SIZE 0 journal->acquire_ctx (-1),192
BUF_SIZE 0 journal->dev s32min-(-1),1-s32max
CAPPED_DATA 0 journal->dev->mode_config.num_colorop 1
CAPPED_DATA 0 journal->dev->mode_config.num_crtc 1
CAPPED_DATA 0 journal->dev->mode_config.num_total_plane 1
CAPPED_DATA 0 journal->num_connector 1
CAPPED_DATA 0 journal->num_private_objs 1
DATA_SOURCE 0 journal $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 journal->dev->mode_config.connector_ida.xa.xa_flags 67108869
HOST_DATA 0 journal->dev->mode_config.object_idr.idr_rt.xa_flags 0,67108864-u32max
HOST_DATA 0 journal->dev->mode_config.tile_idr.idr_rt.xa_flags 0,67108864-u32max
HOST_DATA 0 journal->dev->num_crtcs 2[c]
HOST_DATA 0 journal->dev->ref.refcount.refs.counter s32min-s32max
USER_DATA 0 journal->allow_modeset 0-1
NO_OVERFLOW_SIMPLE 0 journal->dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 journal->dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 journal->dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 journal->dev->num_crtcs
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &dev->master_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex.mutex
HALF_LOCKED2 &display->drm->mode_config.mutex
HALF_LOCKED2 &fb_helper->client.modeset_mutex
HALF_LOCKED2 &fb_helper->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &drm_unplug_srcu
HALF_LOCKED2 0 &journal->dev->mode_config.connection_mutex
HALF_LOCKED2 0 &journal->dev->mode_config.connection_mutex.mutex