172     unsigned long curTime, oldTime;  in benchmarkBuffer()  local
180     oldTime = fastrdtsc();  in benchmarkBuffer()
186     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
188     oldTime = fastrdtsc();  in benchmarkBuffer()
192     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
194     oldTime = fastrdtsc();  in benchmarkBuffer()
197     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
199     oldTime = fastrdtsc();  in benchmarkBuffer()
202     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
204     oldTime = fastrdtsc();  in benchmarkBuffer()
207     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
209     oldTime = fastrdtsc();  in benchmarkBuffer()
212     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
218     oldTime = fastrdtsc();  in benchmarkBuffer()
224     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
226     oldTime = fastrdtsc();  in benchmarkBuffer()
230     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
232     oldTime = fastrdtsc();  in benchmarkBuffer()
235     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
237     oldTime = fastrdtsc();  in benchmarkBuffer()
240     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
242     oldTime = fastrdtsc();  in benchmarkBuffer()
245     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
249     oldTime = fastrdtsc();  in benchmarkBuffer()
253     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
259     oldTime = fastrdtsc();  in benchmarkBuffer()
274     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
276     oldTime = fastrdtsc();  in benchmarkBuffer()
281     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
283     oldTime = fastrdtsc();  in benchmarkBuffer()
286     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
288     oldTime = fastrdtsc();  in benchmarkBuffer()
291     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
293     oldTime = fastrdtsc();  in benchmarkBuffer()
296     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()