X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;fp=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=4a4ed79f8e8130061dcaa7f7ef6049d9972e04e4;hb=1fe82881720f7f9f64f789871f763aca93b47a7e;hp=9e9f812aae524a132d8e4cddcf65f85465291e28;hpb=61d51be2ae5c4ba6d6824204d5a7136f21dd7d38;p=palacios.git

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 9e9f812..4a4ed79 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -273,6 +273,7 @@ struct v3_vm_config {
 
 
     int enable_profiling;
+    int enable_nested_paging;
 
     int use_ramdisk;
     void * ramdisk;