Searched refs:top_ch (Results 1 – 1 of 1) sorted by relevance
490 uint32_t top_ch = COUNTER_GET_TOP_CH(dev); in set_top_value() local506 nrfy_rtc_int_disable(rtc, NRF_RTC_CHANNEL_INT_MASK(top_ch)); in set_top_value()511 err = ppi_setup(dev, top_ch); in set_top_value()514 ppi_free(dev, top_ch); in set_top_value()521 nrfy_rtc_cc_set(rtc, top_ch, cfg->ticks); in set_top_value()533 nrfy_rtc_int_enable(rtc, NRF_RTC_CHANNEL_INT_MASK(top_ch)); in set_top_value()
