/*#include <palacios/vm_guest.h>*/
-#include <palacios/vmm_mem.h>
-#include <palacios/vmm_types.h>
struct guest_info;
#ifdef __V3VEE__
+#include <palacios/vmm_mem.h>
+#include <palacios/vmm_types.h>
//#include <palacios/vmm_types.h>
#include <palacios/vmm_string.h>
void v3_print_cond(const char * fmt, ...);
+#ifdef CONFIG_MULTITHREAD_OS
void v3_interrupt_cpu(struct v3_vm_info * vm, int logical_cpu, int vector);
+#endif
v3_cpu_arch_t v3_get_cpu_type(int cpu_id);
void Init_V3(struct v3_os_hooks * hooks, int num_cpus);
+void Shutdown_V3( void );
struct v3_vm_info * v3_create_vm(void * cfg, void * priv_data, char * name);
int v3_start_vm(struct v3_vm_info * vm, unsigned int cpu_mask);
int v3_stop_vm(struct v3_vm_info * vm);
+int v3_free_vm(struct v3_vm_info * vm);
int v3_deliver_irq(struct v3_vm_info * vm, struct v3_interrupt * intr);