[Xen-changelog] [xen-unstable] xen: arm: implement send_timer_event.

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Ian Campbell <ian.campbell@xxxxxxxxxx>
# Date 1355926586 0
# Node ID b56a5aae2f5be3b4c7dbf6ea6c763998f20823b3
# Parent  c5f7a894c6695ce6bb45a889b489ae6b84184ae6
xen: arm: implement send_timer_event.

Signed-off-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
Acked-by: Tim Deegan <tim@xxxxxxx>
Acked-by: Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>
Committed-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
---


diff -r c5f7a894c669 -r b56a5aae2f5b xen/arch/arm/dummy.S
--- a/xen/arch/arm/dummy.S      Wed Dec 19 14:16:25 2012 +0000
+++ b/xen/arch/arm/dummy.S      Wed Dec 19 14:16:26 2012 +0000
@@ -10,5 +10,4 @@ x:    mov pc, lr
 DUMMY(nr_irqs_gsi);
 
 /* Other */
-DUMMY(send_timer_event);
 DUMMY(share_xen_page_with_privileged_guests);
diff -r c5f7a894c669 -r b56a5aae2f5b xen/arch/arm/time.c
--- a/xen/arch/arm/time.c       Wed Dec 19 14:16:25 2012 +0000
+++ b/xen/arch/arm/time.c       Wed Dec 19 14:16:26 2012 +0000
@@ -26,6 +26,7 @@
 #include <xen/softirq.h>
 #include <xen/time.h>
 #include <xen/sched.h>
+#include <xen/event.h>
 #include <asm/system.h>
 
 /*
@@ -186,6 +187,12 @@ void udelay(unsigned long usecs)
     isb();
 }
 
+/* VCPU PV timers. */
+void send_timer_event(struct vcpu *v)
+{
+    send_guest_vcpu_virq(v, VIRQ_TIMER);
+}
+
 /* VCPU PV clock. */
 void update_vcpu_system_time(struct vcpu *v)
 {

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog