Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 7 files:
- drivers/acpi/acpi_ipmi.c, line 637
- drivers/char/ipmi/ipmi_devintf.c, line 900
- drivers/char/ipmi/ipmi_msghandler.c, line 825
- drivers/char/ipmi/ipmi_poweroff.c, line 706
- drivers/char/ipmi/ipmi_watchdog.c, line 1311
- drivers/hwmon/ibmaem.c, line 1077
- drivers/hwmon/ibmpex.c, line 578
Smatch caller information:
drivers/char/ipmi/ipmi_watchdog.c ipmi_wdog_exit() -> ipmi_smi_watcher_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | watcher | 8915892797580677120 |
| NOCHECK_CALL |
drivers/char/ipmi/ipmi_devintf.c cleanup_ipmi() -> ipmi_smi_watcher_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | watcher | 5862429537420922880 |
| NOCHECK_CALL |
drivers/hwmon/ibmaem.c aem_exit() -> ipmi_smi_watcher_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | watcher | 1750387920018178064 |
| NOCHECK_CALL |
drivers/acpi/acpi_ipmi.c acpi_ipmi_exit() -> ipmi_smi_watcher_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | watcher | 160949872568934416 |
| NOCHECK_CALL |
drivers/hwmon/ibmpex.c ibmpex_exit() -> ipmi_smi_watcher_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | watcher | 7913786859716952080 |
| NOCHECK_CALL |