/* 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)
{
  if (mAcpiHwReducedSleepCtl) {
    IoWrite8 (mAcpiHwReducedSleepCtl, 5 << 2 | 1 << 5);
  } else {
    IoBitFieldWrite16 (mAcpiPmBaseAddress + 4, 10, 13, 0);
    IoOr16 (mAcpiPmBaseAddress + 4, BIT13);
  }
  CpuDeadLoop ();
}