Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/indexer/index-layout.c write_index_save_header() -> encode_region_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 7797172233534025728 |
| PARAM_VALUE | 1 | *offset | 0 |
| PARAM_VALUE | 2 | table | 4096-ptr_max |
| PARAM_VALUE | 2 | table->encoded_size | 48-1572928 |
| PARAM_VALUE | 2 | table->header.magic | 0-255 |
| PARAM_VALUE | 2 | table->header.region_blocks | 0-255 |
| DATA_SOURCE | 2 | table | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | table->encoded_size |
drivers/md/dm-vdo/indexer/index-layout.c write_layout_header() -> encode_region_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 841048803201138688 |
| PARAM_VALUE | 1 | *offset | 0 |
| PARAM_VALUE | 2 | table | 4096-ptr_max |
| PARAM_VALUE | 2 | table->encoded_size | 296,312 |
| PARAM_VALUE | 2 | table->header.magic | 0-255 |
| PARAM_VALUE | 2 | table->header.region_blocks | 0-255 |
| DATA_SOURCE | 2 | table | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | table->encoded_size |