Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/generic/src/console/cmd.c	(revision 3061bc129a855122d429fbba1e623a521aaa164c)
@@ -277,5 +277,5 @@
 		.len = sizeof(set_buf)
 	},
-	{ 
+	{
 		.type = ARG_TYPE_INT
 	}
@@ -334,5 +334,5 @@
 		.len = sizeof(call0_buf)
 	},
-	{ 
+	{
 		.type = ARG_TYPE_VAR,
 		.buffer = carg1_buf,
@@ -357,10 +357,10 @@
 		.len = sizeof(call0_buf)
 	},
-	{ 
+	{
 		.type = ARG_TYPE_VAR,
 		.buffer = carg1_buf,
 		.len = sizeof(carg1_buf)
 	},
-	{ 
+	{
 		.type = ARG_TYPE_VAR,
 		.buffer = carg2_buf,
@@ -385,15 +385,15 @@
 		.len = sizeof(call0_buf)
 	},
-	{ 
+	{
 		.type = ARG_TYPE_VAR,
 		.buffer = carg1_buf,
 		.len = sizeof(carg1_buf)
 	},
-	{ 
+	{
 		.type = ARG_TYPE_VAR,
 		.buffer = carg2_buf,
 		.len = sizeof(carg2_buf)
 	},
-	{ 
+	{
 		.type = ARG_TYPE_VAR,
 		.buffer = carg3_buf,
@@ -952,5 +952,5 @@
 	}
 	
-	spinlock_unlock(&cmd_lock);	
+	spinlock_unlock(&cmd_lock);
 	
 	return 1;
@@ -1087,5 +1087,5 @@
 		    arch_construct_function(&fptr, (void *) symaddr,
 		    (void *) cmd_call2);
-		printf("Calling f(%#" PRIxn ", %#" PRIxn "): %p: %s\n", 
+		printf("Calling f(%#" PRIxn ", %#" PRIxn "): %p: %s\n",
 		       arg1, arg2, (void *) symaddr, symbol);
 		printf("Result: %#" PRIxn "\n", fnc(arg1, arg2));