X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=6fbbe7d391904c0be1bf49ee69eba55a79e16d70;hb=4290e5f20a4ea5e5f32cb8228ac4d7446dc1021b;hp=878966f7669954507865738c8725903b09c2db40;hpb=4f0bb09709fcff0e08aef60c1f0253bbef91f608;p=palacios.git

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 878966f..6fbbe7d 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -198,6 +198,11 @@ void v3_yield(struct guest_info * info);
 void v3_yield_cond(struct guest_info * info);
 
 
+void v3_interrupt_cpu(struct guest_info * vm, int logical_cpu);
+
+int v3_vm_enter(struct guest_info * info);
+
+
 #endif //!__V3VEE__
 
 
@@ -232,6 +237,10 @@ struct v3_os_hooks {
     void (*mutex_free)(void * mutex);
     void (*mutex_lock)(void * mutex, int must_spin);
     void (*mutex_unlock)(void * mutex);
+
+    void (*interrupt_cpu)(struct guest_info * vm, int logical_cpu);
+    void (*call_on_cpu)(int logical_cpu, void (*fn)(void * arg), void * arg);
+    void (*start_thread_on_cpu)(int logical_cpu, int (*fn)(void * arg), void * arg, char * thread_name);
 };
 
 
@@ -258,13 +267,15 @@ struct v3_vm_config {
     // so we can specify maximum physical address size
     // (We're screwed if we want to do 32 bit host/64 bit guest)
 
-    int enable_profiling;
+    int enable_telemetry;
     int enable_nested_paging;
 
     int enable_pci;
 
     int enable_swap;
 
+    int guest_cpu;
+
     unsigned long schedule_freq; // in HZ
 
     v3_disk_type_t pri_disk_type;
@@ -309,7 +320,7 @@ struct v3_interrupt {
 
 
 
-void Init_V3(struct v3_os_hooks * hooks, struct v3_ctrl_ops * vmm_ops);
+void Init_V3(struct v3_os_hooks * hooks, struct v3_ctrl_ops * vmm_ops, int num_cpus);
 
 int v3_deliver_irq(struct guest_info * vm, struct v3_interrupt * intr);