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

/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxInterceptorDxe/
H A Druntime_service_table.h48 TBL_ENTRY(EFI_RESET_SYSTEM, ResetSystem, RVOID, VOID, 4, (SCL(EFI_RESET_TYPE), SCL(EFI_STATUS), SCL(UINTN), PTR(VOID)))
/vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkPkg/Include/Framework/
H A DDxeCis.h65 EFI_RESET_SYSTEM ResetSystem;
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Uefi/
H A DUefiSpec.h1003 (EFIAPI *EFI_RESET_SYSTEM)( typedef
1774 EFI_RESET_SYSTEM ResetSystem;
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/Uefi/
H A DUefiSpec.h1003 (EFIAPI *EFI_RESET_SYSTEM)( typedef
1773 EFI_RESET_SYSTEM ResetSystem;
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/DxeMain/
H A DDxeMain.c167 (EFI_RESET_SYSTEM) CoreEfiNotAvailableYetArg4, // ResetSystem

Completed in 101 milliseconds