From: Karim Raslan <karim.allah.ahmed@gmail.com>
Date: Fri, 8 Aug 2014 15:47:37 +0000 (+0100)
Subject: mini-os: arm: events
X-Git-Tag: xen-4.5.0-rc1~1
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=413229621461701a8005d6805a4c8b2aacf0cca6;p=mini-os.git

mini-os: arm: events

Signed-off-by: Karim Allah Ahmed <karim.allah.ahmed@gmail.com>
Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
---

diff --git a/arch/arm/events.c b/arch/arm/events.c
new file mode 100644
index 0000000..441010d
--- /dev/null
+++ b/arch/arm/events.c
@@ -0,0 +1,31 @@
+#include <mini-os/os.h>
+#include <mini-os/events.h>
+#include <mini-os/hypervisor.h>
+#include <mini-os/console.h>
+
+static void virq_debug(evtchn_port_t port, struct pt_regs *regs, void *params)
+{
+    printk("Received a virq_debug event\n");
+}
+
+evtchn_port_t debug_port = -1;
+void arch_init_events(void)
+{
+    debug_port = bind_virq(VIRQ_DEBUG, (evtchn_handler_t)virq_debug, 0);
+    if(debug_port == -1)
+        BUG();
+    unmask_evtchn(debug_port);
+}
+
+void arch_unbind_ports(void)
+{
+    if(debug_port != -1)
+    {
+        mask_evtchn(debug_port);
+        unbind_evtchn(debug_port);
+    }
+}
+
+void arch_fini_events(void)
+{
+}