diff --git a/nuttx/configs/stm3210e-eval/src/up_adc.c b/nuttx/configs/stm3210e-eval/src/up_adc.c
index f2a6cec847..6b1a8cb50e 100644
--- a/nuttx/configs/stm3210e-eval/src/up_adc.c
+++ b/nuttx/configs/stm3210e-eval/src/up_adc.c
@@ -40,6 +40,7 @@
 
 #include <nuttx/config.h>
 
+#include <errno.h>
 #include <debug.h>
 
 #include <nuttx/analog/adc.h>
@@ -137,7 +138,7 @@ int adc_devinit(void)
       if (adc == NULL)
         {
           adbg("ERROR: Failed to get ADC interface\n");
-          return;
+          return -ENODEV;
         }
 
       /* Register the ADC driver at "/dev/adc0" */
@@ -161,4 +162,4 @@ int adc_devinit(void)
 }
 
 #endif /* CONFIG_STM32_ADC1 || CONFIG_STM32_ADC2 || CONFIG_STM32_ADC3 */
-#endif /* CONFIG_ADC */
\ No newline at end of file
+#endif /* CONFIG_ADC */