Searched refs:EFI_SET_WATCHDOG_TIMER (Results 1 - 2 of 2) sorted by relevance

/freebsd-12-stable/sys/contrib/edk2/Include/Uefi/
H A DUefiSpec.h995 (EFIAPI *EFI_SET_WATCHDOG_TIMER)( typedef
1892 EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;
/freebsd-12-stable/stand/efi/include/
H A Defiapi.h420 (EFIAPI *EFI_SET_WATCHDOG_TIMER) ( typedef
792 EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;

Completed in 116 milliseconds