Index: kernel/test/smpcall/smpcall1.c
===================================================================
--- kernel/test/smpcall/smpcall1.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/test/smpcall/smpcall1.c	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -53,5 +53,5 @@
 	assert(interrupts_disabled());
 
-	size_t *pcall_cnt = (size_t*)p;
+	size_t *pcall_cnt = (size_t *)p;
 	/*
 	 * No synchronization. Tests if smp_calls makes changes
@@ -64,5 +64,5 @@
 static void test_thread(void *p)
 {
-	size_t *pcall_cnt = (size_t*)p;
+	size_t *pcall_cnt = (size_t *)p;
 	smp_call_t call_info[MAX_CPUS];
 
@@ -84,5 +84,5 @@
 		 * same counter would clobber it without additional synchronization.
 		 */
-		size_t local_cnt[MAX_CPUS] = {0};
+		size_t local_cnt[MAX_CPUS] = { 0 };
 
 		/* Now start asynchronous calls. */
@@ -110,5 +110,5 @@
 {
 	/* Number of received calls that were sent by cpu[i]. */
-	size_t call_cnt[MAX_CPUS] = {0};
+	size_t call_cnt[MAX_CPUS] = { 0 };
 	thread_t *thread[MAX_CPUS] = { NULL };
 
@@ -121,5 +121,5 @@
 	for (unsigned int id = 0; id < cpu_count; ++id) {
 		thread[id] = thread_create(test_thread, &call_cnt[id], TASK,
-			THREAD_FLAG_NONE, "smp-call-test");
+		    THREAD_FLAG_NONE, "smp-call-test");
 
 		if (thread[id]) {
@@ -135,5 +135,5 @@
 
 	TPRINTF("Running %zu wired threads. Expecting %zu calls. Be patient.\n",
-		running_thread_cnt, exp_calls_sum);
+	    running_thread_cnt, exp_calls_sum);
 
 	for (unsigned int i = 0; i < cpu_count; ++i) {
@@ -161,5 +161,5 @@
 				ok = false;
 				TPRINTF("Error: %zu instead of %zu cpu%zu's calls were"
-					" acknowledged.\n", call_cnt[i], exp_calls, i);
+				    " acknowledged.\n", call_cnt[i], exp_calls, i);
 			}
 		}
@@ -170,5 +170,5 @@
 	if (calls_sum != exp_calls_sum) {
 		TPRINTF("Error: total acknowledged sum: %zu instead of %zu.\n",
-			calls_sum, exp_calls_sum);
+		    calls_sum, exp_calls_sum);
 
 		ok = false;
@@ -177,5 +177,5 @@
 	if (ok) {
 		TPRINTF("Success: number of received smp_calls is as expected (%zu).\n",
-			exp_calls_sum);
+		    exp_calls_sum);
 		return NULL;
 	} else