Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 2 sequence 1-u64max
PARAM_VALUE 3 sector_number 1-7
CAPPED_DATA 0 journal->nonce 1
CAPPED_DATA 0 journal->recovery_count 1
CAPPED_DATA 2 sequence 1
CAPPED_DATA 2 sequence 1
DATA_SOURCE 0 journal $1
DATA_SOURCE 2 sequence $2
FUZZY_MAX 3 sector_number 7
HARD_MAX 3 sector_number 7
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/repair.c get_entry() -> get_sector()

Type Parameter Key Value
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_sector()

Type Parameter Key Value
PARAM_VALUE 0 journal 4096-ptr_max
PARAM_VALUE 0 journal->size 1-u64max
PARAM_VALUE 2 sequence 1-u64max
PARAM_VALUE 3 sector_number 1-7
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
FUZZY_MAX 3 sector_number 7
HARD_MAX 3 sector_number 7
RX_PATH
TASK_NOT_RUNNING