75 	uint32_t top, now_cnt;  in get_current_tick()  local
78 	top = sys_read32(PIT_CH_RELD(dev, ch)) + 1;  in get_current_tick()
79 	now_cnt = top - sys_read32(PIT_CH_CNTR(dev, ch));  in get_current_tick()
223 	uint32_t top, now_cnt, remain_cnt, alarm_cnt, flags, reg;  in atcpit100_set_alarm()  local
242 	top = sys_read32(PIT_CH_RELD(dev, 3)) + 1;  in atcpit100_set_alarm()
246 	if (alarm_cnt > top) {  in atcpit100_set_alarm()
258 		now_cnt = top - remain_cnt;  in atcpit100_set_alarm()
259 		max_rel_val = top - (data->guard_period * config->divider);  in atcpit100_set_alarm()
436 	uint32_t top = sys_read32(PIT_CH_RELD(dev, 3)) + 1;  in atcpit100_get_top_value()  local
438 	return (top / config->divider);  in atcpit100_get_top_value()
454 	uint32_t top = sys_read32(PIT_CH_RELD(dev, 3)) + 1;  in atcpit100_set_guard_period()  local
456 	if ((ticks * config->divider) > top) {  in atcpit100_set_guard_period()