/* To clear the timer without scheduling a timer event, set Time to a practically infinite value or mask the timer interrupt by clearing sie.STIE. */
VOID EFIAPI SbiSetTimer(IN UINT64 Time)
/* To clear the timer without scheduling a timer event, set Time to a practically infinite value or mask the timer interrupt by clearing sie.STIE. */
VOID EFIAPI SbiSetTimer(IN UINT64 Time)
{
  SbiCall (SBI_EXT_TIME, SBI_EXT_TIME_SET_TIMER, 1, Time);
}