From a003ee223feb37d5d64b10da56e60d64b7ab9569 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sun, 18 Oct 2015 10:05:14 +0200 Subject: [PATCH] add missing macro "per_core" to get access to timer_ticks --- hermit/arch/x86/kernel/timer.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hermit/arch/x86/kernel/timer.c b/hermit/arch/x86/kernel/timer.c index 77b8d8771..dca9e0258 100644 --- a/hermit/arch/x86/kernel/timer.c +++ b/hermit/arch/x86/kernel/timer.c @@ -104,7 +104,7 @@ static void timer_handler(struct state *s) int timer_wait(unsigned int ticks) { - uint64_t eticks = timer_ticks + ticks; + uint64_t eticks = per_core(timer_ticks) + ticks; task_t* curr_task = per_core(current_task);