Symbol: pit_timer_set_counter
drivers/clocksource/timer-nxp-pit.c
132
pit_timer_set_counter(pit->clksrc_base, ~0);
drivers/clocksource/timer-nxp-pit.c
153
pit_timer_set_counter(pit->clkevt_base, delta - 1);