Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/md/dm-vdo/block-map.c, line 1789
- drivers/md/dm-vdo/repair.c
- drivers/md/dm-vdo/vdo.c, line 1846
Smatch caller information:
drivers/md/dm-vdo/vdo.c vdo_get_physical_zone() -> vdo_is_physical_data_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pbn | 1-u64max |
| DATA_SOURCE | 1 | pbn | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/block-map.c is_invalid_tree_entry() -> vdo_is_physical_data_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/repair.c get_pbn_to_fetch() -> vdo_is_physical_data_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/repair.c process_entry() -> vdo_is_physical_data_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pbn | 1-u64max |
| DATA_SOURCE | 1 | pbn | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/repair.c process_slot() -> vdo_is_physical_data_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pbn | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/repair.c validate_recovery_journal_entry() -> vdo_is_physical_data_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-vdo/repair.c validate_recovery_journal_entry() -> vdo_is_physical_data_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | depot->slab_count | 1-u16max |
| RX_PATH | |||
| TASK_NOT_RUNNING |