Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 7 files:
- drivers/acpi/acpi_ipmi.c, line 619
- drivers/char/ipmi/ipmi_devintf.c, line 877
- drivers/char/ipmi/ipmi_msghandler.c, line 816
- drivers/char/ipmi/ipmi_poweroff.c, line 685
- drivers/char/ipmi/ipmi_watchdog.c, line 1293
- drivers/hwmon/ibmaem.c, line 1062
- drivers/hwmon/ibmpex.c, line 571
Smatch caller information:
drivers/char/ipmi/ipmi_watchdog.c ipmi_wdog_init() -> ipmi_smi_watcher_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | watcher | 8915892797580677120 |
drivers/char/ipmi/ipmi_devintf.c init_ipmi_devintf() -> ipmi_smi_watcher_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | watcher | 5862429537420922880 |
drivers/hwmon/ibmaem.c aem_init() -> ipmi_smi_watcher_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | watcher | 1750387920018178064 |
drivers/acpi/acpi_ipmi.c acpi_ipmi_init() -> ipmi_smi_watcher_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | watcher | 160949872568934416 |
drivers/char/ipmi/ipmi_poweroff.c ipmi_poweroff_init() -> ipmi_smi_watcher_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | watcher | 722553060618395648 |
drivers/hwmon/ibmpex.c ibmpex_init() -> ipmi_smi_watcher_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | watcher | 7913786859716952080 |