Searched defs:ResetPpi (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Pei/Reset/ | ||
| H A D | Reset.c | 36 EFI_PEI_RESET_PPI *ResetPpi; local 42 (VOID **)&ResetPpi 49 return ResetPpi->ResetSystem (PeiServices); |
Completed in 31 milliseconds