From 873c3f3984aa23fb31252b88b35186829fcdb5fa Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Sat, 15 Mar 2014 21:21:14 +0100
Subject: [PATCH] hw: correct return type of Kernel::new_thread

ref #1101
---
 base-hw/src/core/kernel/core_interface.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/base-hw/src/core/kernel/core_interface.h b/base-hw/src/core/kernel/core_interface.h
index db9d2477b..a8151357a 100644
--- a/base-hw/src/core/kernel/core_interface.h
+++ b/base-hw/src/core/kernel/core_interface.h
@@ -114,8 +114,8 @@ namespace Kernel
 	 * \retval >0  kernel name of the new thread
 	 * \retval  0  failed
 	 */
-	inline int new_thread(void * const p, unsigned const priority,
-	                      char const * const label)
+	inline unsigned new_thread(void * const p, unsigned const priority,
+	                           char const * const label)
 	{
 		return call(call_id_new_thread(), (Call_arg)p, (Call_arg)priority,
 		            (Call_arg)label);