Searched refs:EFI_WATCHDOG_FORCE_REBOOT (Results 1 – 2 of 2) sorted by relevance
164 (EFIAPI *EFI_WATCHDOG_FORCE_REBOOT) ( typedef289 EFI_WATCHDOG_FORCE_REBOOT ForceReboot;
150 (EFIAPI *EFI_WATCHDOG_FORCE_REBOOT) (238 EFI_WATCHDOG_FORCE_REBOOT ForceReboot;