From: Thomas Leonard <talex5@gmail.com>
Date: Thu, 26 Jun 2014 11:28:29 +0000 (+0100)
Subject: mini-os: added arch_unbind_ports
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=72aada88d19b9d6a3151ad4b81d0014ddd1b6681;p=people%2Fliuw%2Flibxenctrl-split%2Fmini-os.git

mini-os: added arch_unbind_ports

This allows closing any ports opened by the arch-specific code.
ARM will use it for the debug port.

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

diff --git a/arch/x86/events.c b/arch/x86/events.c
index e420a98..5198cf3 100644
--- a/arch/x86/events.c
+++ b/arch/x86/events.c
@@ -23,6 +23,10 @@ void arch_init_events(void)
 #endif
 }
 
+void arch_unbind_ports(void)
+{
+}
+
 void arch_fini_events(void)
 {
 #if defined(__x86_64__)
diff --git a/events.c b/events.c
index 3c92d82..48742de 100644
--- a/events.c
+++ b/events.c
@@ -179,6 +179,7 @@ void init_events(void)
 void fini_events(void)
 {
     /* Dealloc all events */
+    arch_unbind_ports();
     unbind_all_ports();
     arch_fini_events();
 }
diff --git a/include/events.h b/include/events.h
index 0452d21..89b5997 100644
--- a/include/events.h
+++ b/include/events.h
@@ -26,6 +26,10 @@ typedef void (*evtchn_handler_t)(evtchn_port_t, struct pt_regs *, void *);
 
 /* prototypes */
 void arch_init_events(void);
+
+/* Called by fini_events to close any ports opened by arch-specific code. */
+void arch_unbind_ports(void);
+
 void arch_fini_events(void);
 
 int do_event(evtchn_port_t port, struct pt_regs *regs);