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

/vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkPkg/Include/Framework/
H A DDxeCis.h134 EFI_SET_WATCHDOG_TIMER SetWatchdogTimer;
/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/EFI/Firmware/VBoxPkg/VBoxInterceptorDxe/
H A Dboot_service_table.h73 TBL_ENTRY(EFI_SET_WATCHDOG_TIMER, SetWatchdogTimer, NVOID, EFI_STATUS, 4, (SCL(UINTN), SCL(UINT64), SCL(UINTN), PTR(CHAR16)))
/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;
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/DxeMain/
H A DDxeMain.c83 (EFI_SET_WATCHDOG_TIMER) CoreSetWatchdogTimer, // SetWatchdogTimer

Completed in 125 milliseconds