Searched refs:EFI_SET_WATCHDOG_TIMER (Results 1 – 1 of 1) sorted by relevance
416 (EFIAPI *EFI_SET_WATCHDOG_TIMER) ( typedef787 EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;