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

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Uefi/
H A DUefiSpec.h958 (EFIAPI *EFI_SET_WATCHDOG_TIMER)( typedef
1861 EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Uefi/
H A DUefiSpec.h958 (EFIAPI *EFI_SET_WATCHDOG_TIMER)( typedef
1852 EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;

Completed in 43 milliseconds