TtmpResetEvaluationTimer

VOID __stdcall TtmpResetEvaluationTimer(_TTMI_TERMINAL *Terminal, UINT64 NextEvaluationSpanIntTime){
  char v4; 

  if( NextEvaluationSpanIntTime )
  {
    ObfReferenceObject(Terminal);
    KiSetTimerEx(
      (_KTIMER *)(Terminal + 22),
      (_LARGE_INTEGER)-(__int64)NextEvaluationSpanIntTime,
      0i64,
      0,
      (_KDPC *)(Terminal + 38));
  }
  else
  {
    v4 = KeCancelTimer((INT64)(Terminal + 22));
  }
  if( v4 )
    HalPutDmaAdapter((PADAPTER_OBJECT)Terminal);
}

Referenced by: