unsigned long flags;
local_irq_save(flags);
+#ifdef CACHEFLUSH
+ wbinvd(); /* initial write back, without cycle count */
+#endif
rdtsc_barrier();
cycles1 = get_cycles();
rdtsc_barrier();
unsigned long flags;
local_irq_save(flags);
+#ifdef CACHEFLUSH
+ wbinvd(); /* initial write back, without cycle count */
+#endif
rdtsc_barrier();
cycles1 = get_cycles();
rdtsc_barrier();
unsigned long flags;
local_irq_save(flags);
+#ifdef CACHEFLUSH
+ wbinvd(); /* initial write back, without cycle count */
+#endif
rdtsc_barrier();
cycles1 = get_cycles();
rdtsc_barrier();
unsigned long flags;
local_irq_save(flags);
+#ifdef CACHEFLUSH
+ wbinvd(); /* initial write back, without cycle count */
+#endif
rdtsc_barrier();
cycles1 = get_cycles();
rdtsc_barrier();
unsigned long flags;
local_irq_save(flags);
+#ifdef CACHEFLUSH
+ wbinvd(); /* initial write back, without cycle count */
+#endif
rdtsc_barrier();
cycles1 = get_cycles();
rdtsc_barrier();