Index: kernel/generic/include/arch.h
===================================================================
--- kernel/generic/include/arch.h	(revision 751032650a0af420a9d0763cf66c6c43bdc89800)
+++ kernel/generic/include/arch.h	(revision 3b60ea0ab63232b82cbb39069c74d417545a98e6)
@@ -80,9 +80,9 @@
 
 typedef struct {
-	void (* pre_mm_init)(void);
-	void (* post_mm_init)(void);
-	void (* post_cpu_init)(void);
-	void (* pre_smp_init)(void);
-	void (* post_smp_init)(void);
+	void (*pre_mm_init)(void);
+	void (*post_mm_init)(void);
+	void (*post_cpu_init)(void);
+	void (*pre_smp_init)(void);
+	void (*post_smp_init)(void);
 } arch_ops_t;