From 899460dd71a728179f6dbf737c735daa5520013a Mon Sep 17 00:00:00 2001
From: Richard Braun <rbraun@sceen.net>
Date: Sun, 5 May 2019 18:44:35 +0200
Subject: kern/timer: fix high priority work scheduling flags

---
 kern/timer.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kern/timer.c')

diff --git a/kern/timer.c b/kern/timer.c
index cafe49f7..9495c0f2 100644
--- a/kern/timer.c
+++ b/kern/timer.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2017 Richard Braun.
+ * Copyright (c) 2017-2019 Richard Braun.
  *
  * 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
@@ -316,7 +316,7 @@ timer_process(struct timer *timer)
     }
 
     if (timer_is_high_prio(timer)) {
-        work_flags = TIMER_TF_HIGH_PRIO;
+        work_flags = WORK_HIGHPRIO;
     } else {
         work_flags = 0;
     }
-- 
cgit v1.2.3