No need for a new kind of notification, we can provide a smoother upgrade path

1 files changed, 5 insertions, 3 deletions

diff --git a/device/interrupt.h b/device/interrupt.h
index 12e6efc..7a00456 100644
--- a/device/interrupt.h
+++ b/device/interrupt.h
@@ -24,11 +24,13 @@ kern_return_t insert_intr_entry (int line, ipc_port_t dest,
 				 int new_style,	/* version2 notifications? */
 				 struct intr_entry **entry);
 
+boolean_t intr_entry_notify (mach_msg_header_t *msg);
+void intr_thread (void);
+
+/* linux/dev/arch/i386/kernel/irq.c */
 int install_user_intr_handler (unsigned int line,
 			       unsigned long flags,
 			       struct intr_entry *entry);
-
-boolean_t intr_entry_notify (mach_msg_header_t *msg);
-void intr_thread (void);
+int remove_user_intr_handler (unsigned int irq, struct intr_entry *entry);
 
 #endif	/* DEVICE_INTERRUPT_H */