From 251d08d5117cb449c489369ba5d8facf87509d5c Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 18 Feb 2013 15:33:29 +0100 Subject: [PATCH] base-hw: useless default assignment in syscalls.h fix #588 --- base-hw/include/kernel/syscalls.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base-hw/include/kernel/syscalls.h b/base-hw/include/kernel/syscalls.h index 492635c96e..1df16066a4 100644 --- a/base-hw/include/kernel/syscalls.h +++ b/base-hw/include/kernel/syscalls.h @@ -515,7 +515,7 @@ namespace Kernel * * Restricted to core threads. */ - inline void run_vm(unsigned const id = 0) { + inline void run_vm(unsigned const id) { syscall(RUN_VM, (Syscall_arg)id); } }