/* If this function returns, it means that the system does not support cold reset.  */
VOID EFIAPI ResetCold(VOID)
/* If this function returns, it means that the system does not support cold reset.  */
VOID EFIAPI ResetCold(VOID)
{
  PerformPsciAction (ARM_SMC_ID_PSCI_SYSTEM_RESET);
}