Signed-off-by: Jacob Gorm Hansen <jacobg@xxxxxxx>

diff -r 8e1c8a7bc86b extras/mini-os/events.c
--- a/extras/mini-os/events.c	Fri Nov 24 13:05:38 2006 +0100
+++ b/extras/mini-os/events.c	Fri Nov 24 13:26:11 2006 +0100
@@ -35,6 +35,21 @@ static ev_action_t ev_actions[NR_EVS];
 static ev_action_t ev_actions[NR_EVS];
 void default_handler(evtchn_port_t port, struct pt_regs *regs, void *data);
 
+void unbind_all_ports(void)
+{
+    int i;
+
+	for(i=0;i<NR_EVS;i++)
+	{
+		if(ev_actions[i].handler != default_handler)
+		{
+			struct evtchn_close close;
+			mask_evtchn(i);
+			close.port = i;
+			HYPERVISOR_event_channel_op(EVTCHNOP_close, &close);
+		}
+	}
+}
 
 /*
  * Demux events to different handlers.