/* Returns the last conversion result data for regular channel of SDADC1 and SDADC2. RSYNC bit of the SDADC2 should be already set.  */
uint32_t SDADC_GetConversionSDADC12Value(void)
/* Returns the last conversion result data for regular channel of SDADC1 and SDADC2. RSYNC bit of the SDADC2 should be already set.  */
uint32_t SDADC_GetConversionSDADC12Value(void)
{
  return (uint32_t) SDADC1->RDATA12R;
}