X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_list.h;h=0d8747e9efae39befdf303878a271f7380cbd0f3;hb=cafbc1318c847b8c18e2036dc56be7af7acefa4e;hp=da7a0b2340bbb4059632b9371fe3484d5522c8a7;hpb=df58bd3c484a52b1e166dc28e7b9b6fd94e5a023;p=palacios.git

diff --git a/palacios/include/palacios/vmm_list.h b/palacios/include/palacios/vmm_list.h
index da7a0b2..0d8747e 100644
--- a/palacios/include/palacios/vmm_list.h
+++ b/palacios/include/palacios/vmm_list.h
@@ -1,6 +1,13 @@
+/* Stolen From Linux list implementation */
+/* 2008, Modifications by Jack Lange <jarusl@cs.northwestern.edu> */
+
+
 #ifndef _VMM_LIST_H
 #define _VMM_LIST_H
 
+
+#ifdef __V3VEE__
+
 #include <palacios/vmm_string.h>
 
 #undef offsetof
@@ -12,7 +19,7 @@
         (type *)( (char *)__mptr - offsetof(type,member) );})
 
 
-static inline void prefetch(const void *x) {;}
+static inline void prefetch(const void *x) {const void * foo; foo = x;}
 
 /*
  * These are non-NULL pointers that will result in page faults
@@ -525,4 +532,7 @@ static inline void hlist_add_after(struct hlist_node *n,
 	     pos = n)
 
 
+
+#endif // ! __V3VEE__
+
 #endif