Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-vdo/completion.c vdo_finish_completion() -> assert_incomplete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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/completion.c vdo_set_completion_result() -> assert_incomplete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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 |