Searched refs:EFI_SET_WATCHDOG_TIMER (Results 1 – 4 of 4) sorted by relevance
134 EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;
407 (EFIAPI *EFI_SET_WATCHDOG_TIMER) ( typedef1025 EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;
995 (EFIAPI *EFI_SET_WATCHDOG_TIMER)( typedef1887 EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;
84 …(EFI_SET_WATCHDOG_TIMER) CoreSetWatchdogTimer, // SetWatc…