From: Thomas Leonard <talex5@gmail.com>
Date: Wed, 16 Jul 2014 11:07:46 +0000 (+0100)
Subject: mini-os: use generic local_irq_enable function
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~4643
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=67980734bdbc0cc307cd5620ed0804f70c0b3434;p=xen.git

mini-os: use generic local_irq_enable function

__sti is x86 specific.

Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
---

diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c
index 9a30550cbb..437e5b4100 100644
--- a/extras/mini-os/kernel.c
+++ b/extras/mini-os/kernel.c
@@ -121,7 +121,7 @@ void start_kernel(void)
     init_events();
 
     /* ENABLE EVENT DELIVERY. This is disabled at start of day. */
-    __sti();
+    local_irq_enable();
 
     setup_xen_features();