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