Timers are now 64-bit.

2017-10-09 01:48:36 +02:00
parent 08bf9109d7
commit 02bbfb26eb
67 changed files with 508 additions and 499 deletions
--- a/src/intel.c
+++ b/src/intel.c
@@ -27,7 +27,7 @@ uint8_t batman_brdconfig(uint16_t port, void *p)
 }

 static uint16_t batman_timer_latch;
-static int batman_timer = 0;
+static int64_t batman_timer = 0;
 static void batman_timer_over(void *p)
 {
        batman_timer = 0;