172     unsigned long curTime, oldTime;  in benchmarkBuffer()  local
185     curTime = fastrdtsc();  in benchmarkBuffer()
186     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
191     curTime = fastrdtsc();  in benchmarkBuffer()
192     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
196     curTime = fastrdtsc();  in benchmarkBuffer()
197     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
201     curTime = fastrdtsc();  in benchmarkBuffer()
202     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
206     curTime = fastrdtsc();  in benchmarkBuffer()
207     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
211     curTime = fastrdtsc();  in benchmarkBuffer()
212     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
223     curTime = fastrdtsc();  in benchmarkBuffer()
224     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
229     curTime = fastrdtsc();  in benchmarkBuffer()
230     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
234     curTime = fastrdtsc();  in benchmarkBuffer()
235     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
239     curTime = fastrdtsc();  in benchmarkBuffer()
240     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
244     curTime = fastrdtsc();  in benchmarkBuffer()
245     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
252     curTime = fastrdtsc();  in benchmarkBuffer()
253     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
267     curTime = fastrdtsc();  in benchmarkBuffer()
274     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
280     curTime = fastrdtsc();  in benchmarkBuffer()
281     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
285     curTime = fastrdtsc();  in benchmarkBuffer()
286     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
290     curTime = fastrdtsc();  in benchmarkBuffer()
291     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()
295     curTime = fastrdtsc();  in benchmarkBuffer()
296     *ticks++ = time_diff(oldTime, curTime);  in benchmarkBuffer()