X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=2af99d273b524d667287ef943fdd6aa8cfe3fc8a;hb=52e81251f82ccaf516e3ed626c8abbcc9fbe3f41;hp=4beccea3f6d447a3e13a3214c2403fabd85920ff;hpb=4c0aeefed7dec96dd1f70c2f8f3cc3db45abb621;p=palacios.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 4beccea..2af99d2 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -141,3 +141,13 @@ void v3_yield(struct guest_info * info) {
     V3_Yield();
     rdtscll(info->yield_start_cycle);
 }
+
+
+
+void v3_interrupt_cpu(struct guest_info * info, int logical_cpu) {
+    extern struct v3_os_hooks * os_hooks;
+
+    if ((os_hooks) && (os_hooks)->interrupt_cpu) {
+	(os_hooks)->interrupt_cpu(info, logical_cpu);
+    }
+}