From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ian Campbell Subject: [PATCH 13/15] xen: arm: implement send_timer_event. Date: Tue, 4 Dec 2012 11:56:37 +0000 Message-ID: <1354622199-27504-13-git-send-email-ian.campbell@citrix.com> References: <1354622173.2693.72.camel@zakaz.uk.xensource.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <1354622173.2693.72.camel@zakaz.uk.xensource.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: xen-devel@lists.xen.org Cc: Ian Campbell List-Id: xen-devel@lists.xenproject.org Signed-off-by: Ian Campbell --- 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 #include #include +#include #include /* @@ -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