-/* Stolen From Linux list implementation*/
-/* Modifications by Jack Lange <jarusl@cs.northwestern.edu> */
+/* Stolen From Linux list implementation */
+/* 2008, Modifications by Jack Lange <jarusl@cs.northwestern.edu> */
+
#ifndef _VMM_LIST_H
#define _VMM_LIST_H
-// JRL FIXME
-// #ifdef __V3VEE__
+
+#ifdef __V3VEE__
#include <palacios/vmm_string.h>
(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
pos = n)
-// JRL FIXME
-//#endif // ! __V3VEE__
+
+#endif // ! __V3VEE__
#endif