void RTC2_IRQHandler(void) { nrf_drv_rtc_int_handler(NRF_RTC2,RTC2_INSTANCE_INDEX, NRF_RTC_CC_CHANNEL_COUNT(2)); }
void RTC1_IRQHandler(void) { nrf_drv_rtc_int_handler(NRF_RTC1,RTC1_INSTANCE_INDEX); }