/* 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 ((UINTN)PcdGet64 (PcdResetControlRegister), PcdGet8 (PcdResetControlValueColdReset));
}