X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=66ce9c0a2520193018247dfd6d041ff243cc8d65;hb=bc5646fe8335af96f7cd2618b6db095b04c24790;hp=3f5fa6c8df1bacde2fd1a706f02518c83e2d3200;hpb=3e5e5a12e64630d7a37ed32b8d7e2d993c79f7e0;p=palacios.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 3f5fa6c..66ce9c0 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -80,7 +80,15 @@ void Init_V3(struct v3_os_hooks * hooks, int num_cpus) {
     // Register all the possible device types
     v3_init_devices();
 
-#ifdef INSTRUMENT_VMM
+    // Register all shadow paging handlers
+    V3_init_shdw_paging();
+
+
+#ifdef CONFIG_SYMMOD
+    V3_init_symmod();
+#endif
+
+#ifdef CONFIG_INSTRUMENT_VMM
     v3_init_instrumentation();
 #endif