/* If this function returns, it means that the system does not support shut down reset.  */
VOID EFIAPI ResetShutdown(VOID)
/* If this function returns, it means that the system does not support shut down reset.  */
VOID EFIAPI ResetShutdown(VOID)
{
  PeiServicesResetSystem2 (EfiResetShutdown, EFI_SUCCESS, 0, NULL);
}