Use new macro.
[bertos.git] / bertos / cpu / arm / drv / adc_at91.c
index b385184ea7c4a3fd9a442143ce9d726155698b36..b98e129025ea699195f501be839f617548f68856 100644 (file)
@@ -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