Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/block-map.c get_mapping_from_fetched_page() -> finish_processing_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | completion | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->result | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | result | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion->parent | (-1),8-s32max |
| DATA_SOURCE | 0 | completion | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.thread_count |
drivers/md/dm-vdo/block-map.c get_mapping_from_fetched_page() -> finish_processing_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | completion | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->result | 0 |
| PARAM_VALUE | 1 | result | 1028 |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion->parent | (-1),8-s32max |
| DATA_SOURCE | 0 | completion | $0 |
| DATA_SOURCE | 1 | result | r validate_completed_page |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.thread_count |
drivers/md/dm-vdo/block-map.c get_mapping_from_fetched_page() -> finish_processing_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | completion | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->result | 0 |
| PARAM_VALUE | 1 | result | 0,1028,1485 |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion->parent | (-1),8-s32max |
| DATA_SOURCE | 0 | completion | $0 |
| DATA_SOURCE | 1 | result | r set_mapped_location |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.thread_count |
drivers/md/dm-vdo/block-map.c handle_page_error() -> finish_processing_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | completion | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->error_handler | 1-u64max |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion->parent | (-1),8-s32max |
| DATA_SOURCE | 0 | completion | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.thread_count |
drivers/md/dm-vdo/block-map.c put_mapping_in_fetched_page() -> finish_processing_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | completion | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->result | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | result | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion->parent | (-1),8-s32max |
| DATA_SOURCE | 0 | completion | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.thread_count |
drivers/md/dm-vdo/block-map.c put_mapping_in_fetched_page() -> finish_processing_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | completion | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->result | 0 |
| PARAM_VALUE | 1 | result | 1028 |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion->parent | (-1),8-s32max |
| DATA_SOURCE | 0 | completion | $0 |
| DATA_SOURCE | 1 | result | r validate_completed_page |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.thread_count |
drivers/md/dm-vdo/block-map.c put_mapping_in_fetched_page() -> finish_processing_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | completion | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | completion->result | 0 |
| PARAM_VALUE | 1 | result | 0 |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion | (-1),4,8-s32max |
| BUF_SIZE | 0 | completion->parent | (-1),8-s32max |
| DATA_SOURCE | 0 | completion | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 0 | completion->vdo->thread_config.thread_count |