/* This function handles ADC1 and ADC2 global interrupts requests.  */
void ADC1_2_IRQHandler(void)
/* This function handles ADC1 and ADC2 global interrupts requests.  */
void ADC1_2_IRQHandler(void)
{
  ADC2ConvertedValue = ADC_GetConversionValue(ADC2);
}