From 5a0d66d1ee8a1bf415e948bf37b3a68f2c3db9b4 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sun, 24 Sep 2017 00:12:26 +0200 Subject: [PATCH] increasing the readability --- include/hermit/tasks.h | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/include/hermit/tasks.h b/include/hermit/tasks.h index e31f5298b..478b6cf38 100644 --- a/include/hermit/tasks.h +++ b/include/hermit/tasks.h @@ -264,11 +264,10 @@ static inline void check_workqueues_in_irqhandler(int irq) check_timers(); - if (irq < 0) { - if (go_down) - shutdown_system(); + if (go_down) + shutdown_system(); + if (irq < 0) check_scheduling(); - } } static inline void check_workqueues(void)