Symbol: acpi_watchdog_get_wdat
drivers/acpi/acpi_watchdog.c
113
wdat = acpi_watchdog_get_wdat();
drivers/acpi/acpi_watchdog.c
90
return !!acpi_watchdog_get_wdat();