Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/repair.c compute_usages() -> get_recovery_journal_block_header()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 2 sequence 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/repair.c extract_entries_from_block() -> get_recovery_journal_block_header()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 2 sequence 1-u64max
CAPPED_DATA 2 sequence 1
CAPPED_DATA 2 sequence 1
DATA_SOURCE 0 journal $1
DATA_SOURCE 2 sequence $2
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/repair.c find_recovery_journal_head_and_tail() -> get_recovery_journal_block_header()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 0 journal->size 1-u64max
CAPPED_DATA 2 sequence 1
CAPPED_DATA 2 sequence 1
PARAM_COMPARE 2 sequence < $0->size
PARAM_COMPARE 2 sequence < $0->size
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/repair.c parse_journal_for_rebuild() -> get_recovery_journal_block_header()

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

drivers/md/dm-vdo/repair.c parse_journal_for_recovery() -> get_recovery_journal_block_header()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 0 journal->size 1-u64max
PARAM_VALUE 2 sequence 1-u64max
CAPPED_DATA 0 journal->nonce 1
CAPPED_DATA 0 journal->recovery_count 1
CAPPED_DATA 0 journal->size 1
CAPPED_DATA 2 sequence 1
CAPPED_DATA 2 sequence 1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/repair.c parse_journal_for_recovery() -> get_recovery_journal_block_header()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 0 journal->size 1-u64max
PARAM_VALUE 2 sequence 1-u64max
CAPPED_DATA 0 journal->nonce 1
CAPPED_DATA 0 journal->recovery_count 1
CAPPED_DATA 0 journal->size 1
CAPPED_DATA 2 sequence 1
CAPPED_DATA 2 sequence 1
RX_PATH
TASK_NOT_RUNNING