Searched refs:EFI_PEI_RESET2_PPI (Results 1 – 2 of 2) sorted by relevance
34 } EFI_PEI_RESET2_PPI; typedef
86 EFI_PEI_RESET2_PPI *Reset2Ppi; in PeiResetSystem2()