/* If this function returns, it means that the system does not support warm reset.  */
VOID EFIAPI ResetWarm(VOID)
/* If this function returns, it means that the system does not support warm reset.  */
VOID EFIAPI ResetWarm(VOID)
{
  SbiSystemReset (SBI_SRST_RESET_TYPE_WARM_REBOOT, SBI_SRST_RESET_REASON_NONE);
}