/* 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_HIB_IsHibernateDomainEnabled();
}