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