Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/ipmi/ipmi_watchdog.c _ipmi_set_timeout() -> __ipmi_set_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | smi_msg | 8636359828154597376 |
| PARAM_VALUE | 1 | recv_msg | 3000741373498392576 |
| PARAM_VALUE | 2 | send_heartbeat_now | 5458389850122817536 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &ipmi_watchdog_mutex |
drivers/char/ipmi/ipmi_watchdog.c panic_halt_ipmi_set_timeout() -> __ipmi_set_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | smi_msg | 0 |
| PARAM_VALUE | 1 | recv_msg | 0 |
| PARAM_VALUE | 2 | send_heartbeat_now | 5937088893918429184 |