From 055b7c57b65302974bfeb8c7e8baf429c235cd63 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Sun, 16 Mar 2014 12:39:32 +0100 Subject: [PATCH] hw: correct result type of Kernel::new_vm ref #1101 --- base-hw/src/core/kernel/core_interface.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base-hw/src/core/kernel/core_interface.h b/base-hw/src/core/kernel/core_interface.h index ff8001996..6f29262f1 100644 --- a/base-hw/src/core/kernel/core_interface.h +++ b/base-hw/src/core/kernel/core_interface.h @@ -282,7 +282,7 @@ namespace Kernel * * Regaining of the supplied memory is not supported by now. */ - inline int new_vm(void * const dst, void * const state, + inline unsigned new_vm(void * const dst, void * const state, unsigned const signal_context_id) { return call(call_id_new_vm(), (Call_arg)dst, (Call_arg)state,