Searched refs:ResetPpi (Results 1 – 1 of 1) sorted by relevance
36 EFI_PEI_RESET_PPI *ResetPpi; in PeiResetSystem() local42 (VOID **)&ResetPpi in PeiResetSystem()49 return ResetPpi->ResetSystem (PeiServices); in PeiResetSystem()