Searched refs:EFI_WATCHDOG_RESTART_TIMER (Results 1 – 2 of 2) sorted by relevance
99 (EFIAPI *EFI_WATCHDOG_RESTART_TIMER) ( typedef286 EFI_WATCHDOG_RESTART_TIMER RestartWatchdogTimer;
105 (EFIAPI *EFI_WATCHDOG_RESTART_TIMER) (235 EFI_WATCHDOG_RESTART_TIMER RestartWatchdogTimer;