Add module in order to import BeRTOS dirs installed with the SDK from Registry

[bertos.git] / bertos / cpu / arm / drv / adc_at91.c

diff --git a/bertos/cpu/arm/drv/adc_at91.c b/bertos/cpu/arm/drv/adc_at91.c
index b385184ea7c4a3fd9a442143ce9d726155698b36..46ba341370ceb03e1bd4f2e9acbb4b406ee5d4ae 100644 (file)
--- a/bertos/cpu/arm/drv/adc_at91.c
+++ b/bertos/cpu/arm/drv/adc_at91.c
@@ -47,8 +47,11 @@
 
 #include "adc_at91.h"
 
+#include <cpu/irq.h>
+
 #include "cfg/cfg_adc.h"
-#include "cfg/cfg_kern.h"
+#include "cfg/cfg_proc.h"
+#include "cfg/cfg_signal.h"
 #include <cfg/macros.h>
 #include <cfg/compiler.h>
 
@@ -138,7 +141,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