opcodes2c.pl: Add command line options
[emu8051.git] / src / common / timers.h
index 932ace4..d0368c9 100644 (file)
@@ -3,19 +3,7 @@
  *
  * Copyright (C) 2013 Hugo Villeneuve <hugo@hugovil.com>
  *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 2 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
+ * This file is released under the GPLv2
  */
 
 #ifndef TIMERS_H
 
 #include <stdint.h>
 
+/* Maximum of 4 for CLI version */
+#define GP_TIMERS_COUNT 2
+
+void
+gp_timer_reset(int id);
+
+void
+gp_timers_increment(int count);
+
 int
+gp_timer_read(int id);
+
+void
 timers_check(void);
 
 #endif /* TIMERS_H */