Add up to 4 emulator timers

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

diff --git a/src/common/timers.h b/src/common/timers.h
index 0e633e9..7f708ac 100644 (file)
--- a/src/common/timers.h
+++ b/src/common/timers.h
@@ -23,16 +23,19 @@
 
 #include <stdint.h>
 
+/* Maximum of 4 for CLI version */
+#define GP_TIMERS_COUNT 2
+
 void
-gp_timer_reset(void);
+gp_timer_reset(int id);
 
 void
-gp_timer_increment(int count);
+gp_timers_increment(int count);
 
 int
-gp_timer_read(void);
+gp_timer_read(int id);
 
-int
+void
 timers_check(void);
 
 #endif /* TIMERS_H */