X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config.c;h=cac4de5766cc138c448187ca5a53a16993b11c90;hb=fb07d68f106299921c46eaa5e609187cafad9919;hp=4c3701560dce3bce8e07381bbe4fd32660aeafcd;hpb=00fc14723ccdc218a89755cbf750167071d68b35;p=palacios-OLD.git

diff --git a/palacios/src/palacios/vmm_config.c b/palacios/src/palacios/vmm_config.c
index 4c37015..cac4de5 100644
--- a/palacios/src/palacios/vmm_config.c
+++ b/palacios/src/palacios/vmm_config.c
@@ -30,7 +30,7 @@
 #include <palacios/vmm_xml.h>
 #include <palacios/vmm_io.h>
 #include <palacios/vmm_msr.h>
-
+#include <palacios/vmm_mptable.h>
 
 
 
@@ -322,6 +322,11 @@ static int post_config_vm(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
 	return -1;
     }
 
+    if (v3_inject_mptable(vm)==-1) { 
+	PrintError("Failed to inject mptable during configuration\n");
+	return -1;
+    }
+
     return 0;
 }
 
@@ -421,7 +426,6 @@ struct v3_vm_info * v3_config_guest(void * cfg_blob) {
     for (i = 0; i < vm->num_cores; i++) {
 	struct guest_info * info = &(vm->cores[i]);
 
-	
 	info->cpu_id = i;
 	info->vm_info = vm;