X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_list.h;h=83b880d6739f690a94b3601cd722772194f9e50e;hb=af355c370ac80f8e19d6375cb3070213c29a92eb;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..83b880d 100644
--- a/palacios/include/palacios/vmm_list.h
+++ b/palacios/include/palacios/vmm_list.h
@@ -1,6 +1,9 @@
 #ifndef _VMM_LIST_H
 #define _VMM_LIST_H
 
+// JRL FIXME
+// #ifdef __V3VEE__
+
 #include <palacios/vmm_string.h>
 
 #undef offsetof
@@ -525,4 +528,7 @@ static inline void hlist_add_after(struct hlist_node *n,
 	     pos = n)
 
 
+// JRL FIXME
+//#endif // ! __V3VEE__
+
 #endif