Searched defs:EFI_PEI_RESET_PPI (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Ppi/ | ||
| H A D | Reset.h | 30 // EFI_PEI_RESET_PPI.ResetSystem() is equivalent to the 40 } EFI_PEI_RESET_PPI; typedef in typeref:struct:__anon12011 |
Completed in 42 milliseconds