Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ssif_bmc.c ssif_bmc_test_read_interrupts_partial_write() -> ssif_bmc_test_run_event_val()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test_ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | event | 0 |
| PARAM_VALUE | 2 | value | 1175381972365283328 |
| PARAM_VALUE | 2 | *value | 255 |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
drivers/char/ipmi/ssif_bmc.c ssif_bmc_test_run_event() -> ssif_bmc_test_run_event_val()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test_ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.state | 0-5 |
| PARAM_VALUE | 1 | event | 1,3-4 |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
| DATA_SOURCE | 0 | test_ctx | $0 |
| DATA_SOURCE | 1 | event | $1 |
| HARD_MAX | 1 | event | 4 |
drivers/char/ipmi/ssif_bmc.c ssif_bmc_test_singlepart_read_response_completion() -> ssif_bmc_test_run_event_val()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.is_singlepart_read | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.part_buf.smbus_cmd | 3 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.pec_support | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.len | 2 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.payload | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response_in_progress | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.state | 2 |
| PARAM_VALUE | 1 | event | 0 |
| PARAM_VALUE | 2 | value | 4071608414742523904 |
| PARAM_VALUE | 2 | *value | 0 |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
drivers/char/ipmi/ssif_bmc.c ssif_bmc_test_singlepart_read_response_completion() -> ssif_bmc_test_run_event_val()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test_ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->client->dev.driver_data->part_buf.payload | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client->dev.driver_data->request.payload | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->aborting | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->block_num | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->busy | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->msg_idx | 0-37 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->nbytes_processed | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.address | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.index | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.length | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.pec | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.smbus_cmd | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->pec_support | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->remain_len | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->request.len | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->request_available | 1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response.len | 0 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_in_progress | 0 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_timer_inited | 1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->state | 0-5 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.is_singlepart_read | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.part_buf.smbus_cmd | 3 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.pec_support | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.len | 2 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.payload | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response_in_progress | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.state | 2 |
| PARAM_VALUE | 1 | event | 2 |
| PARAM_VALUE | 2 | value | 4071608414742523904 |
| PARAM_VALUE | 2 | *value | 0 |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
drivers/char/ipmi/ssif_bmc.c ssif_bmc_test_singlepart_read_response_completion() -> ssif_bmc_test_run_event_val()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test_ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->client->dev.driver_data->part_buf.payload | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client->dev.driver_data->request.payload | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->aborting | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->block_num | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->busy | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->msg_idx | 0-37 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->nbytes_processed | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.address | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.index | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.length | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.pec | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.smbus_cmd | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->pec_support | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->remain_len | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->request.len | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->request_available | 1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response.len | 0 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_in_progress | 0 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_timer_inited | 1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->state | 0-5 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.is_singlepart_read | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.part_buf.smbus_cmd | 3 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.pec_support | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.len | 2 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.payload | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response_in_progress | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.state | 2 |
| PARAM_VALUE | 1 | event | 2 |
| PARAM_VALUE | 2 | value | 4071608414742523904 |
| PARAM_VALUE | 2 | *value | 0 |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
drivers/char/ipmi/ssif_bmc.c ssif_bmc_test_singlepart_read_response_completion() -> ssif_bmc_test_run_event_val()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test_ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->client->dev.driver_data->part_buf.payload | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client->dev.driver_data->request.payload | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->aborting | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->block_num | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->busy | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->msg_idx | 0-37 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->nbytes_processed | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.address | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.index | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.length | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.pec | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.smbus_cmd | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->pec_support | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->remain_len | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->request.len | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->request_available | 1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response.len | 0 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_in_progress | 0 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_timer_inited | 1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->state | 0-5 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.is_singlepart_read | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.part_buf.smbus_cmd | 3 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.pec_support | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.len | 2 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.payload | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response_in_progress | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.state | 2 |
| PARAM_VALUE | 1 | event | 2 |
| PARAM_VALUE | 2 | value | 4071608414742523904 |
| PARAM_VALUE | 2 | *value | 0 |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
drivers/char/ipmi/ssif_bmc.c ssif_bmc_test_write_interrupts_response_send() -> ssif_bmc_test_run_event_val()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.is_singlepart_read | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.part_buf.smbus_cmd | 3 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.len | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.payload | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response_in_progress | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.state | 2 |
| PARAM_VALUE | 1 | event | 0 |
| PARAM_VALUE | 2 | value | 6936319256912654336 |
| PARAM_VALUE | 2 | *value | 0 |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
drivers/char/ipmi/ssif_bmc.c ssif_bmc_test_write_interrupts_response_sending() -> ssif_bmc_test_run_event_val()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.is_singlepart_read | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.part_buf.smbus_cmd | 3 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.len | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.payload | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response_in_progress | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.state | 2 |
| PARAM_VALUE | 1 | event | 0 |
| PARAM_VALUE | 2 | value | 9026168757143998464 |
| PARAM_VALUE | 2 | *value | 0 |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
drivers/char/ipmi/ssif_bmc.c ssif_bmc_test_write_interrupts_response_sending() -> ssif_bmc_test_run_event_val()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test_ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->client->dev.driver_data->part_buf.payload | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client->dev.driver_data->request.payload | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->aborting | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->block_num | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->busy | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->msg_idx | 0-37 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->nbytes_processed | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.address | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.index | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.length | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.pec | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->part_buf.smbus_cmd | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->pec_support | 0-1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->remain_len | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->request.len | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->request_available | 1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response.len | 0 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_in_progress | 0 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->response_timer_inited | 1 |
| PARAM_VALUE | 0 | test_ctx->client.dev.driver_data->state | 0-5 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.is_singlepart_read | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.part_buf.smbus_cmd | 3 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.len | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response.payload | 4096-ptr_max |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.response_in_progress | 1 |
| PARAM_VALUE | 0 | test_ctx->ssif_bmc.state | 2 |
| PARAM_VALUE | 1 | event | 2 |
| PARAM_VALUE | 2 | value | 9026168757143998464 |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |
| BUF_SIZE | 0 | test_ctx | s32min,(-10),1-s32max |