Searched defs:EFI_WATCHDOG_TIMER_DRIVER_PROTOCOL (Results 1 – 2 of 2) sorted by relevance
295 } EFI_WATCHDOG_TIMER_DRIVER_PROTOCOL; typedef
235 EFI_WATCHDOG_RESTART_TIMER RestartWatchdogTimer;