[MINI-OS] unbind_virq is broken and nobody uses it. Remove it.

Signed-off-by: Steven Smith <sos22@cam.ac.uk>

extras/mini-os/events.c

@@ -105,11 +105,6 @@ int bind_virq( u32 virq, void (*handler)(int, struct pt_regs *, void *data),
 	return 0;
 }
 
-void unbind_virq( u32 port )
-{
-	unbind_evtchn(port);
-}
-
 #if defined(__x86_64__)
 /* Allocate 4 pages for the irqstack */
 #define STACK_PAGES 4

extras/mini-os/include/events.h

@@ -30,7 +30,6 @@ int bind_evtchn( u32 virq, void (*handler)(int, struct pt_regs *, void *data),
 				 void *data );
 void unbind_evtchn( u32 port );
 void init_events(void);
-void unbind_virq( u32 port );
 int evtchn_alloc_unbound(void (*handler)(int, struct pt_regs *regs,
 										 void *data),
 						 void *data);