From 3bd48599041e5721f957866149aaaf252984891f Mon Sep 17 00:00:00 2001
From: daniel-k <github@daniel-krebs.net>
Date: Wed, 31 Aug 2016 13:36:39 +0200
Subject: [PATCH] kernel: use correct datatype for irq flags

---
 hermit/kernel/tasks.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hermit/kernel/tasks.c b/hermit/kernel/tasks.c
index 8ace3b7b8..a31cdae04 100644
--- a/hermit/kernel/tasks.c
+++ b/hermit/kernel/tasks.c
@@ -694,7 +694,7 @@ int set_timer(uint64_t deadline)
 	task_t* curr_task;
 	task_t* tmp;
 	uint32_t core_id, prio;
-	uint32_t flags;
+	uint8_t flags;
 	int ret = -EINVAL;
 
 	flags = irq_nested_disable();