/* System reset should not return, if it returns, it means the system does not support warm reset.  */
VOID EFIAPI ResetWarm(VOID)
/* System reset should not return, if it returns, it means the system does not support warm reset.  */
VOID EFIAPI ResetWarm(VOID)
{
  IoWrite8 (0x64, 0xfe);
  CpuDeadLoop ();
}