/* Returns the last conversion result data for injected channel of SDADC1 and SDADC3. JSYNC bit of the SDADC3 should be already set.  */
uint32_t SDADC_GetInjectedConversionSDADC13Value(void)
/* Returns the last conversion result data for injected channel of SDADC1 and SDADC3. JSYNC bit of the SDADC3 should be already set.  */
uint32_t SDADC_GetInjectedConversionSDADC13Value(void)
{
  return (uint32_t) SDADC1->JDATA13R;
}