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