nxp_stm_clockevent_read_counter
val = nxp_stm_clockevent_read_counter(stm_timer) + delta;
if (val > nxp_stm_clockevent_read_counter(stm_timer) + delta)
val = nxp_stm_clockevent_read_counter(stm_timer) + stm_timer->delta;