Searched refs:EFI_WATCHDOG_START_TIMER (Results 1 – 2 of 2) sorted by relevance
54 (EFIAPI *EFI_WATCHDOG_START_TIMER) ( typedef284 EFI_WATCHDOG_START_TIMER StartWatchdogTimer;
73 (EFIAPI *EFI_WATCHDOG_START_TIMER) (233 EFI_WATCHDOG_START_TIMER StartWatchdogTimer;