-#define smp_mb() \
-__asm__ __volatile__("mfence" : : : "memory")
-/* __asm__ __volatile__("lock; addl $0,0(%%esp)" : : : "memory") */
-
-
-/*
- * Generate 64-bit timestamp.
- */
-
-static unsigned long long get_timestamp(void)
-{
- unsigned int __a,__d;
-
- __asm__ __volatile__("rdtsc" : "=a" (__a), "=d" (__d));
- return ((long long)__a) | (((long long)__d)<<32);
-}
-