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

diff -r 52ae8dd4bc75 extras/mini-os/events.c
--- a/extras/mini-os/events.c	Tue Oct 17 22:09:52 2006 +0100
+++ b/extras/mini-os/events.c	Thu Nov 30 17:34:29 2006 +0100
@@ -31,10 +31,26 @@ typedef struct _ev_action_t {
     u32 count;
 } ev_action_t;
 
+unsigned long bound_ports[NR_EVS/(8*sizeof(unsigned long))];
 
 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(test_and_clear_bit(i,bound_ports))
+        {
+            struct evtchn_close close;
+            mask_evtchn(i);
+            close.port = i;
+            HYPERVISOR_event_channel_op(EVTCHNOP_close, &close);
+        }
+    }
+}
 
 /*
  * Demux events to different handlers.
@@ -99,6 +115,7 @@ int bind_virq(uint32_t virq, evtchn_hand
 		printk("Failed to bind virtual IRQ %d\n", virq);
 		return 1;
     }
+    set_bit(op.port,bound_ports);
     bind_evtchn(op.port, handler, data);
 	return 0;
 }
@@ -173,6 +190,7 @@ int evtchn_bind_interdomain(domid_t pal,
     int err = HYPERVISOR_event_channel_op(EVTCHNOP_bind_interdomain, &op);
     if (err)
 		return err;
+    set_bit(op.local_port,bound_ports);
 	evtchn_port_t port = op.local_port;
     clear_evtchn(port);	      /* Without, handler gets invoked now! */
     *local_port = bind_evtchn(port, handler, data);
diff -r 52ae8dd4bc75 extras/mini-os/include/events.h
--- a/extras/mini-os/include/events.h	Tue Oct 17 22:09:52 2006 +0100
+++ b/extras/mini-os/include/events.h	Thu Nov 30 17:34:29 2006 +0100
@@ -36,6 +36,7 @@ int evtchn_bind_interdomain(domid_t pal,
 int evtchn_bind_interdomain(domid_t pal, evtchn_port_t remote_port,
 							evtchn_handler_t handler, void *data,
 							evtchn_port_t *local_port);
+void unbind_all_ports(void);
 
 static inline int notify_remote_via_evtchn(evtchn_port_t port)
 {