33 	int64_t current_value = hw_counter_get_value();  in schedule_next_isr()  local
36 	if (current_value == top.ticks) {  in schedule_next_isr()
37 		current_value = -1;  in schedule_next_isr()
42 			if (pending_alarm[i].ticks > current_value) {  in schedule_next_isr()
58 	uint32_t current_value = hw_counter_get_value();  in counter_isr()  local
61 		if (is_alarm_pending[i] && (current_value == pending_alarm[i].ticks)) {  in counter_isr()
64 				pending_alarm[i].callback(device, i, current_value,  in counter_isr()
70 	if (is_top_set && (current_value == top.ticks)) {  in counter_isr()
147 	uint32_t current_value = hw_counter_get_value();  in ctr_set_top_value()  local
150 		if (current_value >= cfg->ticks) {  in ctr_set_top_value()
197 		uint32_t current_value = hw_counter_get_value();  in ctr_set_alarm()  local
199 		ticks += current_value;  in ctr_set_alarm()