/* Get low frequency RC oscillator clock frequency for target system.  */
uint32_t SystemLFRCOClockGet(void)
/* Get low frequency RC oscillator clock frequency for target system.  */
uint32_t SystemLFRCOClockGet(void)
{
  return EFM32_LFRCO_FREQ;
}