Searched refs:EFI_PEI_RESET_SYSTEM (Results 1 – 4 of 4) sorted by relevance
39 EFI_PEI_RESET_SYSTEM ResetSystem;
179 EFI_PEI_RESET_SYSTEM ResetSystem;
267 (EFIAPI *EFI_PEI_RESET_SYSTEM) ( typedef475 (EFIAPI *EFI_PEI_RESET_SYSTEM) ( typedef542 EFI_PEI_RESET_SYSTEM PeiResetSystem;
584 (EFIAPI *EFI_PEI_RESET_SYSTEM)( typedef913 EFI_PEI_RESET_SYSTEM ResetSystem;