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

/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;

Completed in 53 milliseconds