From ad99a7995b190c251fa73862ed61701f0bcb3fb9 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 14 Feb 2016 15:20:56 +0100
Subject: [PATCH] remove typo

---
 hermit/include/hermit/tasks.h | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/hermit/include/hermit/tasks.h b/hermit/include/hermit/tasks.h
index 01ee9a4ea..a7da09d48 100644
--- a/hermit/include/hermit/tasks.h
+++ b/hermit/include/hermit/tasks.h
@@ -224,10 +224,16 @@ int network_shutdown(void);
 
 #ifdef DYNAMIC_TICKS
 /** @brief check, if the tick counter has to be updated
- *  */
+ */
 void check_ticks(void);
 #endif
 
+volatile extern uint32_t go_down;
+
+/** @brief shutdown the hole system
+ */
+void shutdown_system(void);
+
 static inline void check_workqueues_in_irqhandler(int irq)
 {
 #ifdef DYNAMIC_TICKS
@@ -235,8 +241,11 @@ static inline void check_workqueues_in_irqhandler(int irq)
 #endif
 	check_timers();
 
-	if (irq < 0)
+	if (irq < 0) {
+		if (go_down)
+			shutdown_system();
 		check_scheduling();
+	}
 }
 
 static inline void check_workqueues(void)