/* API to retrieve frequency of System PLL VCO input clock  */
uint32_t XMC_SCU_CLOCK_GetSystemPllClockSourceFrequency(void)
/* API to retrieve frequency of System PLL VCO input clock  */
uint32_t XMC_SCU_CLOCK_GetSystemPllClockSourceFrequency(void)
{
    clock_frequency = OSCHP_GetFrequency();
  }
  else
  {
    clock_frequency = OFI_FREQUENCY;
  }
  return (clock_frequency);
}