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-Tag: 4.5.0-rc1~618
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=b757e8d41f7d61fff9560428e11a587796ebbc34;p=xen.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/extras/mini-os/arch/x86/events.c b/extras/mini-os/arch/x86/events.c
index e420a98fd0..5198cf3eab 100644
--- a/extras/mini-os/arch/x86/events.c
+++ b/extras/mini-os/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/extras/mini-os/events.c b/extras/mini-os/events.c
index 3c92d825b7..48742de8ee 100644
--- a/extras/mini-os/events.c
+++ b/extras/mini-os/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/extras/mini-os/include/events.h b/extras/mini-os/include/events.h
index 0452d21755..89b5997cc9 100644
--- a/extras/mini-os/include/events.h
+++ b/extras/mini-os/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);