/* Handle case when CC value equals COUNTER+1. 
Additionally, an information about CC adjustment is stored. This information is used in the callback to return original CC value which was requested by the user.  */
static void handle_next_tick_case(const struct device *dev, uint8_t chan, uint32_t now, uint32_t val)
/* Handle case when CC value equals COUNTER+1. 
Additionally, an information about CC adjustment is stored. This information is used in the callback to return original CC value which was requested by the user.  */
static void handle_next_tick_case(const struct device *dev, uint8_t chan, uint32_t now, uint32_t val)
{
	const struct counter_nrfx_config *config = dev->config;
	struct counter_nrfx_data *data = dev->data;
	val = ticks_add(dev, val, 1, data->top);
	nrfy_rtc_cc_set(config->rtc, chan, val);
	atomic_or(&data->ipend_adj, CC_ADJ_MASK(chan));
	if (nrfy_rtc_counter_get(config->rtc) != now) {
		set_cc_int_pending(dev, chan);
	} else {
		nrfy_rtc_int_enable(config->rtc, NRF_RTC_CHANNEL_INT_MASK(chan));
	}
}