Searched refs:EFI_WATCHDOG_TIMER_DRIVER_PROTOCOL (Results 1 – 3 of 3) sorted by relevance
76 EFI_WATCHDOG_TIMER_DRIVER_PROTOCOL *WatchdogTimerProtocol; in EnableTcoReset()168 EFI_WATCHDOG_TIMER_DRIVER_PROTOCOL *WatchdogTimerProtocol; in DisableTcoReset()
295 } EFI_WATCHDOG_TIMER_DRIVER_PROTOCOL; typedef
244 } EFI_WATCHDOG_TIMER_DRIVER_PROTOCOL;