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

/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Ppi/
H A DReset.h30 // EFI_PEI_RESET_PPI.ResetSystem() is equivalent to the
40 } EFI_PEI_RESET_PPI; typedef in typeref:struct:__anon12011
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Pei/Reset/
H A DReset.c36 EFI_PEI_RESET_PPI *ResetPpi;

Completed in 46 milliseconds