diff options
| author | Ian Campbell <ian.campbell@citrix.com> | 2012-12-19 14:16:26 +0000 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2012-12-19 14:16:26 +0000 |
| commit | 053012e77aa71f34cb19a3e93c7e7b76f5758c22 (patch) | |
| tree | 69fe6a953853f181f95d5afbd54cc5e6ed296e9c /xen | |
| parent | 6d31f5491a3e8192681163dd67ab8a39b7b34fac (diff) | |
| download | xen-053012e77aa71f34cb19a3e93c7e7b76f5758c22.tar.gz xen-053012e77aa71f34cb19a3e93c7e7b76f5758c22.tar.bz2 xen-053012e77aa71f34cb19a3e93c7e7b76f5758c22.zip | |
xen: arm: implement send_timer_event.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'xen')
| -rw-r--r-- | xen/arch/arm/dummy.S | 1 | ||||
| -rw-r--r-- | 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 120ab97ca7..3497afa473 100644 --- a/xen/arch/arm/dummy.S +++ b/xen/arch/arm/dummy.S @@ -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 --git a/xen/arch/arm/time.c b/xen/arch/arm/time.c index ac606f7ebb..0f9335ead4 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) { |