diff options
-rw-r--r-- | extras/mini-os/events.c | 5 | ||||
-rw-r--r-- | extras/mini-os/include/events.h | 1 |
2 files changed, 0 insertions, 6 deletions
diff --git a/extras/mini-os/events.c b/extras/mini-os/events.c index 0acacb2527..23a0c0a453 100644 --- a/extras/mini-os/events.c +++ b/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 diff --git a/extras/mini-os/include/events.h b/extras/mini-os/include/events.h index c1b58c4db0..5e032bb4b4 100644 --- a/extras/mini-os/include/events.h +++ b/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); |