main_get_timer() made public.

[libucw.git] / lib / prefetch.h

diff --git a/lib/prefetch.h b/lib/prefetch.h
index 46d10ca328cf0f101867c9cf64fa0191b7431431..8c97906d8630f85ca4435f146483edc16aae025a 100644 (file)
--- a/lib/prefetch.h
+++ b/lib/prefetch.h
@@ -1,7 +1,7 @@
 /*
  *     UCW Library -- Prefetch
  *
- *     (c) 1997--2003 Martin Mares <mj@ucw.cz>
+ *     (c) 1997--2005 Martin Mares <mj@ucw.cz>
  *
  *     This software may be freely distributed and used according to the terms
  *     of the GNU Lesser General Public License.
@@ -10,23 +10,33 @@
 #ifndef _UCW_PREFETCH_H
 #define _UCW_PREFETCH_H
 
-#if defined(__athlon) || defined(__i686)
+#if defined(__pentium4)
 
+#define HAVE_PREFETCH
 static inline void prefetch(void *addr)
 {
   asm volatile ("prefetcht0 %0" : : "m" (*(byte*)addr));
 }
 
-#else
+#elif defined(__k6)
+  /* K6 doesn't have prefetches */
+
+#elif defined(__athlon) || defined(__i686)
 
-#if !defined(__k6)
+#define HAVE_PREFETCH
+static inline void prefetch(void *addr)
+{
+  asm volatile ("prefetcht0 %0" : : "m" (*(byte*)addr));
+}
+
+#else
 #warning "Don't know how to prefetch on your CPU. Please fix lib/prefetch.h."
 #endif
 
+#ifndef HAVE_PREFETCH
 static inline void prefetch(void *addr UNUSED)
 {
 }
-
 #endif
 
 #endif