Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/src/cpu/cpu.c	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -59,10 +59,11 @@
  *
  */
-void cpu_init(void) {
+void cpu_init(void)
+{
 #ifdef CONFIG_SMP
 	if (config.cpu_active == 1) {
 #endif /* CONFIG_SMP */
 
-		cpus = (cpu_t *) malloc(sizeof(cpu_t) * config.cpu_count,
+		cpus = (cpu_t *) malloc(sizeof(cpu_t) *config.cpu_count,
 		    FRAME_ATOMIC);
 		if (!cpus)
@@ -70,5 +71,5 @@
 
 		/* Initialize everything */
-		memsetb(cpus, sizeof(cpu_t) * config.cpu_count, 0);
+		memsetb(cpus, sizeof(cpu_t) *config.cpu_count, 0);
 
 		size_t i;
Index: kernel/generic/src/cpu/cpu_mask.c
===================================================================
--- kernel/generic/src/cpu/cpu_mask.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/src/cpu/cpu_mask.c	(revision 202872234fa56c357a39df0a3cd16a73688b3ff4)
@@ -57,6 +57,6 @@
 
 	for (size_t active_word = 0;
-		(active_word + 1) * word_bit_cnt <= cpu_cnt;
-		++active_word) {
+	    (active_word + 1) * word_bit_cnt <= cpu_cnt;
+	    ++active_word) {
 		/* Set all bits in the cell/word. */
 		cpus->mask[active_word] = -1;