Add general-purpose timer to GUI

[emu8051.git] / src / common / timers.h

diff --git a/src/common/timers.h b/src/common/timers.h
index 932ace4..0e633e9 100644 (file)
--- a/src/common/timers.h
+++ b/src/common/timers.h
@@ -23,6 +23,15 @@
 
 #include <stdint.h>
 
+void
+gp_timer_reset(void);
+
+void
+gp_timer_increment(int count);
+
+int
+gp_timer_read(void);
+
 int
 timers_check(void);