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
- drivers/md/dm-vdo/recovery-journal.c, line 1057
- drivers/md/dm-vdo/slab-depot.c, line 598
Smatch caller information:
drivers/md/dm-vdo/slab-depot.c release_journal_locks() -> vdo_release_recovery_journal_block_reference()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | journal | 1-u64max |
| PARAM_VALUE | 2 | zone_type | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/recovery-journal.c release_journal_block_reference() -> vdo_release_recovery_journal_block_reference()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | journal | 4096-ptr_max |
| PARAM_VALUE | 0 | journal->free_tail_blocks.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | journal->free_tail_blocks.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | journal->free_tail_blocks.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 2 | zone_type | 1 |
| PARAM_VALUE | 3 | zone_id | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/block-map.c finish_page_write() -> vdo_release_recovery_journal_block_reference()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | zone_type | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/block-map.c page_is_written_out() -> vdo_release_recovery_journal_block_reference()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | zone_type | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/block-map.c vdo_update_block_map_page() -> vdo_release_recovery_journal_block_reference()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | sequence_number | 1-u64max |
| PARAM_VALUE | 2 | zone_type | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |