X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config.c;h=39c4d492ceda82387865b7ee1e4d981439baca30;hb=46113012016d5064ca8617dbb39f04c9763fd911;hp=b6222953981bcaace81281db1abad7a80f03e9a9;hpb=926e4e742c02e6f1255c8da243494c8bbddbf752;p=palacios.git

diff --git a/palacios/src/palacios/vmm_config.c b/palacios/src/palacios/vmm_config.c
index b622295..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