Portabily print out uint64_t using PRIu64

1 files changed, 4 insertions, 2 deletions

diff --git a/core/timer.c b/core/timer.c
index 8c278434..06e25693 100644
--- a/core/timer.c
+++ b/core/timer.c
@@ -1,6 +1,8 @@
+#define __STDC_FORMAT_MACROS
+#include <inttypes.h>
+
 #include "timer.h"
 #include "network.h"
-#include <stdint.h>
 
 /* 
 A nested linked list increases efficiency of insertions.
@@ -267,7 +269,7 @@ void timer_debug_print()
     timer* t = timer_main_queue;
     printf("Queue:\n");
     while (t) {
-        printf("%lli (%lli) : %s\n", t->deadline, t->deadline/US_PER_SECOND, (char*)t->userdata);
+        printf("%" PRIu64 " (%" PRIu64 ") : %s\n", t->deadline, t->deadline/US_PER_SECOND, (char*)t->userdata);
         t = t->_next;
     }
 }