/* System shutdown should not return, if it returns, it means the system does not support shut down reset.  */
VOID EFIAPI ResetShutdown(VOID)
/* System shutdown should not return, if it returns, it means the system does not support shut down reset.  */
VOID EFIAPI ResetShutdown(VOID)
{
  UINTN  PmCtrlReg;
  IoWrite16 ((UINTN)mAcpiBoardInfo.PmGpeEnBase, 0);
  IoWrite16 ((UINTN)mAcpiBoardInfo.PmEvtBase, BIT8);
  PmCtrlReg = (UINTN)mAcpiBoardInfo.PmCtrlRegBase;
  IoAndThenOr16 (PmCtrlReg, (UINT16) ~0x3c00, (UINT16)(7 << 10));
  IoOr16 (PmCtrlReg, BIT13);
  CpuDeadLoop ();
  ASSERT (FALSE);
}