diff options
author | Richard Braun <rbraun@sceen.net> | 2019-05-05 18:44:35 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2019-05-05 19:22:39 +0200 |
commit | 899460dd71a728179f6dbf737c735daa5520013a (patch) | |
tree | 870e782b2cad2269864857029873ecd356a48eab | |
parent | 396b35e812a9b9c13a4e17f6358234f822850958 (diff) |
kern/timer: fix high priority work scheduling flags
-rw-r--r-- | kern/timer.c | 4 |
1 files changed, 2 insertions, 2 deletions
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; } |