New Shadow paging implementation to allow pluggable shadow paging implementations

[palacios.git] / palacios / src / palacios / vmm.c

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