[Xen-devel] [PATCH 13/15] xen: arm: implement send_timer_event.

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

Signed-off-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
---
 xen/arch/arm/dummy.S |    1 -
 xen/arch/arm/time.c  |    7 +++++++
 2 files changed, 7 insertions(+), 1 deletions(-)

diff --git a/xen/arch/arm/dummy.S b/xen/arch/arm/dummy.S
index 3fe4ba6..6d4b34f 100644
--- a/xen/arch/arm/dummy.S
+++ b/xen/arch/arm/dummy.S
@@ -7,5 +7,4 @@ x:      .word 0xe7f000f0 /* Undefined instruction */
 x:     mov pc, lr
 
 /* Other */
-DUMMY(send_timer_event);
 DUMMY(share_xen_page_with_privileged_guests);
diff --git a/xen/arch/arm/time.c b/xen/arch/arm/time.c
index ac606f7..0f9335e 100644
--- a/xen/arch/arm/time.c
+++ b/xen/arch/arm/time.c
@@ -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)
 {
-- 
1.7.9.1


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel