acpi_watchdog_get_wdat 89 drivers/acpi/acpi_watchdog.c return !!acpi_watchdog_get_wdat(); acpi_watchdog_get_wdat 112 drivers/acpi/acpi_watchdog.c wdat = acpi_watchdog_get_wdat();