/* System reset should not return, if it returns, it means the system does not support cold reset.  */
VOID EFIAPI ResetCold(VOID)
/* System reset should not return, if it returns, it means the system does not support cold reset.  */
VOID EFIAPI ResetCold(VOID)
{
  IoWrite8 (0xCF9, BIT2 | BIT1);
  MicroSecondDelay (50);
  IoWrite8 (0x64, 0xfe);
  CpuDeadLoop ();
}