Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/acpi/acpi_watchdog.c, line 88 (as a function)
- include/linux/acpi.h, line 1553 (as a function)
Referenced in 4 files:
- drivers/acpi/acpi_watchdog.c, line 92
- drivers/i2c/busses/i2c-i801.c, line 1422
- drivers/mfd/intel_pmc_bxt.c
- drivers/mfd/lpc_ich.c, line 1174
Smatch caller information:
drivers/i2c/busses/i2c-i801.c i801_add_tco() -> acpi_has_watchdog()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/mfd/lpc_ich.c lpc_ich_init_wdt() -> acpi_has_watchdog()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->dev.mutex |
drivers/mfd/intel_pmc_bxt.c intel_pmc_create_devices() -> acpi_has_watchdog()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/mfd/intel_pmc_bxt.c intel_pmc_get_tco_resources() -> acpi_has_watchdog()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |