Searched refs:ACPI_EFI_SET_WATCHDOG_TIMER (Results 1 – 1 of 1) sorted by relevance
605 (ACPI_EFI_API *ACPI_EFI_SET_WATCHDOG_TIMER) ( typedef924 ACPI_EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;