*
* @file adc.h
*
- * @copyright Copyright (C) 2012-2013 Czech Technical University in Prague
+ * @copyright Copyright (C) 2012-2013, 2015 Czech Technical University in Prague
*
* @author Michal Horn
* @author Carlos Jenkins <carlos@jenkins.co.cr>
#define ADC_MAX_CHANNELS 24
void drv_adc_init();
-uint32_t drv_adc_read_adc(adcData_t* data);
-uint32_t drv_adc_read_houtifbk(adcData_t* data);
+uint32_t drv_adc_read_adc(adcData_t *data);
-uint32_t adc_get_port_val(uint32_t* config, uint32_t num_channels,
- uint32_t* values);
+#ifdef TARGET_TMS570_RPP
+uint32_t drv_adc_read_houtifbk(adcData_t *data);
+#endif
+
+uint32_t adc_get_port_val(uint32_t *config, uint32_t num_channels,
+ uint32_t *values);
#endif /* __DRV_ADC_H */