X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config.c;h=39c4d492ceda82387865b7ee1e4d981439baca30;hb=1b72cd1ffc37529af00e7e0a04034a67dad0c786;hp=7e9286995aeb2f0886d6230934e9566c6f7d0d79;hpb=f0e3b9e0d33d90a41cb2c3bb800ab38929c744b5;p=palacios.git

diff --git a/palacios/src/palacios/vmm_config.c b/palacios/src/palacios/vmm_config.c
index 7e92869..39c4d49 100644
--- a/palacios/src/palacios/vmm_config.c
+++ b/palacios/src/palacios/vmm_config.c
@@ -32,14 +32,7 @@
 #include <palacios/vmm_msr.h>
 
 
-#ifdef CONFIG_SYMBIOTIC
-#include <palacios/vmm_sym_iface.h>
 
-#ifdef CONFIG_SYMBIOTIC_SWAP
-#include <palacios/vmm_sym_swap.h>
-#endif
-
-#endif
 
 
 
@@ -250,7 +243,8 @@ static int pre_config_vm(struct v3_vm_info * vm, v3_cfg_tree_t * vm_cfg) {
 
 static int pre_config_core(struct guest_info * info, v3_cfg_tree_t * core_cfg) {
     extern v3_cpu_arch_t v3_cpu_types[];
-    char * paging = v3_cfg_val(core_cfg, "paging");
+    v3_cfg_tree_t * paging_cfg = v3_cfg_subtree(core_cfg, "paging");
+    char * paging = v3_cfg_val(paging_cfg, "mode");