/* Gets the current value of ADC internal timer */
unsigned long ADCTimerValueGet(unsigned long ulBase)
/* Gets the current value of ADC internal timer */
unsigned long ADCTimerValueGet(unsigned long ulBase)
{
  return(HWREG(ulBase + ADC_O_adc_timer_current_count));
}