/* API to retrieve frequency of USB PLL output clock  */
uint32_t XMC_SCU_CLOCK_GetUsbPllClockFrequency(void)
/* API to retrieve frequency of USB PLL output clock  */
uint32_t XMC_SCU_CLOCK_GetUsbPllClockFrequency(void)
{
    n_div = (uint32_t)((((SCU_PLL->USBPLLCON) & SCU_PLL_USBPLLCON_NDIV_Msk) >> SCU_PLL_USBPLLCON_NDIV_Pos) + 1UL);
    p_div = (uint32_t)((((SCU_PLL->USBPLLCON) & SCU_PLL_USBPLLCON_PDIV_Msk) >> SCU_PLL_USBPLLCON_PDIV_Pos) + 1UL);
    clock_frequency = (uint32_t)((clock_frequency * n_div)/ (uint32_t)(p_div * 2UL));
  }
  return (clock_frequency);
}