Searched refs:EFI_SET_WATCHDOG_TIMER (Results 1 – 4 of 4) sorted by relevance
408 (EFIAPI *EFI_SET_WATCHDOG_TIMER) ( typedef791 EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;
914 (EFIAPI *EFI_SET_WATCHDOG_TIMER)( typedef1732 EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;