X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging_64.h;fp=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging_64.h;h=9a6eeed9da8c1d8a4e5ca90f5b8f9fe5e7d97ced;hb=4f65d7ae7fd62f2a52735c7b69fe1da65b9fed9f;hp=2b9f470e0b8f6a72213fe04177fc28a7ed938259;hpb=8c06d37e4eb0083519402c0188210a3f0f3538d1;p=palacios.git

diff --git a/palacios/src/palacios/vmm_direct_paging_64.h b/palacios/src/palacios/vmm_direct_paging_64.h
index 2b9f470..9a6eeed 100644
--- a/palacios/src/palacios/vmm_direct_paging_64.h
+++ b/palacios/src/palacios/vmm_direct_paging_64.h
@@ -27,8 +27,6 @@
 #include <palacios/vm_guest_mem.h>
 #include <palacios/vm_guest.h>
 
-#define DEBUG_NESTED_PAGING 1
-
 #ifndef DEBUG_NESTED_PAGING
 #undef PrintDebug
 #define PrintDebug(fmt, args...)