Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 first 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/slab-depot.c apply_journal_entries() -> vdo_before_journal_point()

Type Parameter Key Value
PARAM_VALUE 0 first 1209288367924981760
PARAM_VALUE 1 second 3220939974808961024
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/slab-depot.c replay_reference_count_change() -> vdo_before_journal_point()

Type Parameter Key Value
PARAM_VALUE 0 first 4096-ptr_max
PARAM_VALUE 1 second 3990820517880332288
PARAM_VALUE 1 second->entry_count 0-65534
PARAM_VALUE 1 second->sequence_number 0-18446744073709551614
DATA_SOURCE 1 second $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/slab-depot.c unpack_reference_block() -> vdo_before_journal_point()

Type Parameter Key Value
PARAM_VALUE 0 first 4096-ptr_max
PARAM_VALUE 1 second 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 first 4096-ptr_max
PARAM_VALUE 1 second 5537860155140976640
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/recovery-journal.c continue_committed_waiter() -> vdo_before_journal_point()

Type Parameter Key Value
PARAM_VALUE 0 first 4096-ptr_max
PARAM_VALUE 1 second 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING