Add a function to return the MD interrupt source cookie associated with

an interrupt event.  Use this in the x86 code to fixup the intrcnt names
when an interrupt handler is removed.

1 files changed, 1 insertions, 0 deletions

diff --git a/sys/sys/interrupt.h b/sys/sys/interrupt.h
index 2856703..0e73976 100644
--- a/sys/sys/interrupt.h
+++ b/sys/sys/interrupt.h
@@ -121,6 +121,7 @@ int	intr_event_create(struct intr_event **event, void *source,
 int	intr_event_destroy(struct intr_event *ie);
 int	intr_event_remove_handler(void *cookie);
 int	intr_event_schedule_thread(struct intr_event *ie);
+void	*intr_handler_source(void *cookie);
 int	swi_add(struct intr_event **eventp, const char *name,
 	    driver_intr_t handler, void *arg, int pri, enum intr_type flags,
 	    void **cookiep);