From 91b5dac2f388a01c69fe7bd6987b4fa013cac6f9 Mon Sep 17 00:00:00 2001 From: Baptiste Wicht Date: Tue, 9 Aug 2016 21:03:40 +0200 Subject: [PATCH] Cleanup --- kernel/src/timer.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/kernel/src/timer.cpp b/kernel/src/timer.cpp index 79dcd49e..0bd4671c 100644 --- a/kernel/src/timer.cpp +++ b/kernel/src/timer.cpp @@ -17,9 +17,9 @@ namespace { -uint64_t _timer_ticks = 0; -uint64_t _timer_seconds = 0; -uint64_t _timer_milliseconds = 0; +volatile uint64_t _timer_ticks = 0; +volatile uint64_t _timer_seconds = 0; +volatile uint64_t _timer_milliseconds = 0; uint64_t _timer_frequency = 0; //TODO The uptime in seconds with HPET is not correct