__attribute__((isr)) void RTC_IRQHandler(void) { ck_rtc_irqhandler(0); }
ATTRIBUTE_ISR void RTC_IRQHandler(void) { CSI_INTRPT_ENTER(); ck_rtc_irqhandler(0); CSI_INTRPT_EXIT(); }