X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvm_guest.c;h=e295c1af8bea4fc33e71c013817e71edc8500627;hb=dc039f2009a773f8090c15cdacaa4b84b1780ee4;hp=e62835c83a804563b1dc1a0b491a8d375ec99395;hpb=f0e3b9e0d33d90a41cb2c3bb800ab38929c744b5;p=palacios.git

diff --git a/palacios/src/palacios/vm_guest.c b/palacios/src/palacios/vm_guest.c
index e62835c..e295c1a 100644
--- a/palacios/src/palacios/vm_guest.c
+++ b/palacios/src/palacios/vm_guest.c
@@ -485,6 +485,9 @@ int v3_init_core(struct guest_info * core) {
     v3_init_decoder(core);
 
 
+#ifdef CONFIG_SYMBIOTIC
+    v3_init_sym_core(core);
+#endif
 
     // init SVM/VMX
 #ifdef CONFIG_SVM