diff options
Diffstat (limited to 'extras/mini-os/events.c')
| -rw-r--r-- | extras/mini-os/events.c | 5 |
1 files changed, 0 insertions, 5 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 |