#include <palacios/vmm_symspy.h>
-#ifdef CONFIG_SYMCALL
+#ifdef V3_CONFIG_SYMCALL
#include <palacios/vmm_symcall.h>
#endif
-#ifdef CONFIG_SYMMOD
+#ifdef V3_CONFIG_SYMMOD
#include <palacios/vmm_symmod.h>
#endif
struct v3_sym_vm_state {
struct v3_symspy_global_state symspy_state;
-#ifdef CONFIG_SYMMOD
- struct v3_symmod_global_state symmod_state;
+#ifdef V3_CONFIG_SYMMOD
+ struct v3_symmod_state symmod_state;
#endif
};
struct v3_sym_core_state {
struct v3_symspy_local_state symspy_state;
-#ifdef CONFIG_SYMCALL
+#ifdef V3_CONFIG_SYMCALL
struct v3_symcall_state symcall_state;
#endif
-#ifdef CONFIG_SYMMOD
- struct v3_symmod_local_state symmod_state;
-#endif
};
int v3_init_symbiotic_vm(struct v3_vm_info * vm);
+int v3_deinit_symbiotic_vm(struct v3_vm_info * vm);
+
int v3_init_symbiotic_core(struct guest_info * core);
+int v3_deinit_symbiotic_core(struct guest_info * core);
#endif