/* Checks RTC peripheral is enabled for programming to its registers  */
bool XMC_RTC_IsEnabled(void)
/* Checks RTC peripheral is enabled for programming to its registers  */
bool XMC_RTC_IsEnabled(void)
{
  return !XMC_SCU_CLOCK_IsPeripheralClockGated(XMC_SCU_PERIPHERAL_CLOCK_RTC);
}