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