Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/acpi/acpi_ipmi.c, line 566
- drivers/char/ipmi/ipmi_devintf.c, line 182
- drivers/char/ipmi/ipmi_msghandler.c, line 2483
- drivers/hwmon/ibmaem.c, line 298
- drivers/hwmon/ibmpex.c, line 120
Smatch caller information:
drivers/char/ipmi/ipmi_devintf.c handle_send_req() -> ipmi_request_settime()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 5231060803165466624 |
| PARAM_VALUE | 1 | addr->addr_type | 1,4,12,65,129 |
| PARAM_VALUE | 1 | addr->channel | 0-15 |
| PARAM_VALUE | 3 | msg | 8482239969268187136 |
| PARAM_VALUE | 3 | msg->data | 4096-ptr_max |
| PARAM_VALUE | 3 | msg->data_len | 0-272 |
| PARAM_VALUE | 4 | user_msg_data | 0 |
| PARAM_VALUE | 5 | priority | 0 |
| DATA_SOURCE | 0 | user | $0 |
| DATA_SOURCE | 6 | retries | $2 |
| DATA_SOURCE | 7 | retry_time_ms | $3 |
| USER_DATA | 1 | addr->addr_type | 1,4,12,65,129 |
| USER_DATA | 1 | addr->channel | 0-15 |
| USER_DATA | 2 | msgid | s64min-s64max |
| USER_DATA | 3 | msg->cmd | 0-255 |
| USER_DATA | 3 | msg->data_len | 0-272 |
| USER_DATA | 3 | msg->netfn | 0-255 |
| USER_DATA | 6 | retries | s32min-s32max |
| USER_DATA | 7 | retry_time_ms | 0-u32max |
| USER_PTR | 1 | addr->data | |
| USER_PTR | 3 | msg->data |
drivers/hwmon/ibmaem.c aem_send_message() -> ipmi_request_settime()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | addr->addr_type | 1,4,12,65,129 |
| PARAM_VALUE | 1 | addr->channel | 0-15 |
| PARAM_VALUE | 3 | msg | 4096-ptr_max |
| PARAM_VALUE | 3 | msg->cmd | 128-130 |
| PARAM_VALUE | 3 | msg->data | 6010739787423485952,6993802292700307456,7132577660351025152 |
| PARAM_VALUE | 3 | msg->data_len | 6,8 |
| PARAM_VALUE | 4 | user_msg_data | 4096-ptr_max |
| PARAM_VALUE | 5 | priority | 0 |
| PARAM_VALUE | 6 | retries | 0 |
| PARAM_VALUE | 7 | retry_time_ms | 0 |
| BUF_SIZE | 4 | user_msg_data | (-1),200 |
| DATA_SOURCE | 4 | user_msg_data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &data->lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &smi_watchers_mutex |
drivers/acpi/acpi_ipmi.c acpi_ipmi_space_handler() -> ipmi_request_settime()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | addr->addr_type | 12 |
| PARAM_VALUE | 1 | addr->channel | 15 |
| PARAM_VALUE | 3 | msg | 4096-ptr_max |
| PARAM_VALUE | 3 | msg->data_len | 0-64 |
| PARAM_VALUE | 4 | user_msg_data | 0 |
| PARAM_VALUE | 5 | priority | 0 |
| PARAM_VALUE | 6 | retries | 0 |
| PARAM_VALUE | 7 | retry_time_ms | 5000 |
| TERMINATED | 1 | addr->data | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | context_mutex |
drivers/hwmon/ibmpex.c ibmpex_send_message() -> ipmi_request_settime()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 4096-ptr_max |
| PARAM_VALUE | 1 | addr->addr_type | 1,4,12,65,129 |
| PARAM_VALUE | 1 | addr->channel | 0-15 |
| PARAM_VALUE | 3 | msg | 4096-ptr_max |
| PARAM_VALUE | 3 | msg->data_len | 1-2 |
| PARAM_VALUE | 4 | user_msg_data | 4096-ptr_max |
| PARAM_VALUE | 5 | priority | 0 |
| PARAM_VALUE | 6 | retries | 0 |
| PARAM_VALUE | 7 | retry_time_ms | 0 |
| BUF_SIZE | 4 | user_msg_data | s32min-(-1),1-s32max |
| DATA_SOURCE | 4 | user_msg_data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 4 | user_msg_data | unit_byte |
| HALF_LOCKED2 | &data->lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &smi_watchers_mutex |