From d43b3de28deb206177a4d9feccdd8f21ff9c13e4 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 5 Feb 2015 17:57:31 -0600
Subject: [PATCH] nuttx/configs/tm4c123g-launchpad/src/Makefile

---
 .../src/tm4c123g-launchpad.h                  | 24 +++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/configs/tm4c123g-launchpad/src/tm4c123g-launchpad.h b/configs/tm4c123g-launchpad/src/tm4c123g-launchpad.h
index f4f8a512273..1a3f37eda1f 100644
--- a/configs/tm4c123g-launchpad/src/tm4c123g-launchpad.h
+++ b/configs/tm4c123g-launchpad/src/tm4c123g-launchpad.h
@@ -236,6 +236,30 @@ int tm4c_at24_automount(int minor);
 int tiva_timer_initialize(void);
 #endif
 
+/************************************************************************************
+ * Name: board_adc_initialize
+ *
+ * Description:
+ *   Initialize and register the ADC driver
+ *
+ ************************************************************************************/
+
+#ifdef CONFIG_TIVA_ADC
+int board_adc_initialize(void);
+#endif
+
+/************************************************************************************
+ * Name: adc_devinit
+ *
+ * Description:
+ *   All Tiva architectures must provide the following interface to work with
+ *   examples/adc.
+ *
+ ************************************************************************************/
+
+#if defined(CONFIG_TIVA_ADC) && defined(CONFIG_EXAMPLES_ADC)
+int adc_devinit(void);
+#endif
 
 #endif /* __ASSEMBLY__ */
 #endif /* __CONFIGS_TM4C123G_LAUNCHPAD_TM4C123G_LAUNCHPAD_H */