public void Sleep(Int64 interval) { Int64 t; rdtsc(out t); // sleep next "interval" time SleepTo(t + interval); }