Documented in 1 files:
Defined in 2 files as a function:
- arch/mips/tools/loongson3-llsc-check.c, line 196 (as a function)
- drivers/md/dm-vdo/admin-state.c, line 293 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/md/dm-vdo/admin-state.c assert_vdo_drain_operation() -> check_code()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | code | 4096-ptr_max |
| PARAM_VALUE | 2 | what | 7792455032566849536 |
| BUF_SIZE | 2 | what | 16 |
| BUF_SIZE | 3 | waiter | (-1),4,8-s32max |
| BUF_SIZE | 3 | waiter | (-1),4,8-s32max |
| BUF_SIZE | 3 | waiter->parent | (-1),8-s32max |
| DATA_SOURCE | 1 | code | $0 |
| DATA_SOURCE | 3 | waiter | $1 |
| STR_LEN | 0 | valid | 15 |
| TERMINATED | 2 | what | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.thread_count |
drivers/md/dm-vdo/admin-state.c assert_vdo_resume_operation() -> check_code()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | what | 2600197296130478080 |
| BUF_SIZE | 2 | what | 17 |
| DATA_SOURCE | 1 | code | $0 |
| DATA_SOURCE | 3 | waiter | $1 |
| STR_LEN | 0 | valid | 16 |
| TERMINATED | 2 | what | 1 |
drivers/md/dm-vdo/admin-state.c vdo_assert_load_operation() -> check_code()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | code | 4096-ptr_max |
| PARAM_VALUE | 2 | what | 7095561483692556288 |
| BUF_SIZE | 2 | what | 15 |
| BUF_SIZE | 3 | waiter | (-1),4,8-s32max |
| BUF_SIZE | 3 | waiter | (-1),4,8-s32max |
| BUF_SIZE | 3 | waiter->parent | (-1),8-s32max |
| DATA_SOURCE | 1 | code | $0 |
| DATA_SOURCE | 3 | waiter | $1 |
| STR_LEN | 0 | valid | 14 |
| TERMINATED | 2 | what | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.thread_count |
drivers/md/dm-vdo/admin-state.c vdo_start_operation_with_waiter() -> check_code()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | code | 4096-ptr_max |
| PARAM_VALUE | 2 | what | 3162578412083208192 |
| PARAM_VALUE | 3 | waiter | 0,4096-ptr_max |
| PARAM_VALUE | 3 | waiter->callback | 3489529966529368064,4687770512847577088,7344351825394335744,8966577201208123392 |
| PARAM_VALUE | 3 | waiter->complete | 0 |
| PARAM_VALUE | 3 | waiter->error_handler | 629888963225763840,4894415364445982720,6100805549957750784 |
| BUF_SIZE | 2 | what | 10 |
| BUF_SIZE | 3 | waiter | (-1),4,8-s32max |
| BUF_SIZE | 3 | waiter | (-1),4,8-s32max |
| DATA_SOURCE | 1 | code | $1 |
| DATA_SOURCE | 3 | waiter | $2 |
| STR_LEN | 0 | valid | 9 |
| TERMINATED | 2 | what | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 3 | waiter->vdo->thread_config.thread_count |