X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fcpu%2Farm%2Fdrv%2Fadc_at91.c;fp=bertos%2Fcpu%2Farm%2Fdrv%2Fadc_at91.c;h=b98e129025ea699195f501be839f617548f68856;hb=cf12c99e13194cb4e24cd60167a2275b98713b44;hp=b385184ea7c4a3fd9a442143ce9d726155698b36;hpb=bb31ab5597a5a4299204f8c674f129506e0acdfe;p=bertos.git

diff --git a/bertos/cpu/arm/drv/adc_at91.c b/bertos/cpu/arm/drv/adc_at91.c
index b385184e..b98e1290 100644
--- a/bertos/cpu/arm/drv/adc_at91.c
+++ b/bertos/cpu/arm/drv/adc_at91.c
@@ -47,6 +47,8 @@
 
 #include "adc_at91.h"
 
+#include <cpu/irq.h>
+
 #include "cfg/cfg_adc.h"
 #include "cfg/cfg_kern.h"
 #include <cfg/macros.h>
@@ -138,7 +140,7 @@ INLINE uint16_t adc_hw_read(void)
 
 	#if CONFIG_KERN
 		// Ensure IRQs enabled.
-		ASSERT(IRQ_ENABLED());
+		IRQ_ASSERT_ENABLED();
 		sig_wait(SIG_ADC_COMPLETE);
 	#else
 		//Wait in polling until is done