# HG changeset patch
# User nickg
# Date 1228319554 0
# Node ID d16f29a908210b0ea85f1b35f8f72e769a5c62f4
# Parent  b86956327ae678810d32799b1196b721c2cd338e
	* src/hal_misc.c (hal_deliver_interrupt): Fix instrumentation call
	to allow it to compile properly.

diff --git a/packages/hal/cortexm/arch/current/ChangeLog b/packages/hal/cortexm/arch/current/ChangeLog
--- a/packages/hal/cortexm/arch/current/ChangeLog
+++ b/packages/hal/cortexm/arch/current/ChangeLog
@@ -1,3 +1,8 @@
+2008-12-03  Nick Garnett  <nickg@ecoscentric.com>
+
+	* src/hal_misc.c (hal_deliver_interrupt): Fix instrumentation call
+	to allow it to compile properly.
+
 2008-11-24  Simon Kallweit  <simon.kallweit@intefo.ch>
 
 	* include/hal_io.c: Fixed MASK_ macro.
diff --git a/packages/hal/cortexm/arch/current/src/hal_misc.c b/packages/hal/cortexm/arch/current/src/hal_misc.c
--- a/packages/hal/cortexm/arch/current/src/hal_misc.c
+++ b/packages/hal/cortexm/arch/current/src/hal_misc.c
@@ -60,6 +60,12 @@
 
 #include <cyg/hal/drv_api.h>
 
+
+#if defined(CYGPKG_KERNEL_INSTRUMENT) &&        \
+    defined(CYGDBG_KERNEL_INSTRUMENT_INTR)
+#include <cyg/kernel/instrmnt.h>
+#endif
+
 //==========================================================================
 
 typedef cyg_uint32 cyg_isr(cyg_uint32 vector, CYG_ADDRWORD data);
@@ -340,7 +346,7 @@ void hal_deliver_interrupt( cyg_uint32 v
     
 #if defined(CYGPKG_KERNEL_INSTRUMENT) && \
     defined(CYGDBG_KERNEL_INSTRUMENT_INTR)
-    cyg_instrument(RAISE_INTR, vector, 0 );
+    CYG_INSTRUMENT_INTR(RAISE, vector, 0);
 #endif
 
     isr = (cyg_isr *)hal_interrupt_handlers[vector];