Index: arch/ia32/src/ia32.c
===================================================================
--- arch/ia32/src/ia32.c	(revision 02a99d21d0192f978464b19bf7f00c5e24b276b7)
+++ arch/ia32/src/ia32.c	(revision 6ba143dce31ac1490fdc2b36456012f4baadf10c)
@@ -68,5 +68,5 @@
 }
 
-void arch_post_mm_init()
+void arch_post_mm_init(void)
 {
 	if (config.cpu_active == 1) {
@@ -75,5 +75,5 @@
 }
 
-void arch_late_init()
+void arch_late_init(void)
 {
 	if (config.cpu_active == 1) {
Index: arch/ia32/src/smp/mps.c
===================================================================
--- arch/ia32/src/smp/mps.c	(revision 02a99d21d0192f978464b19bf7f00c5e24b276b7)
+++ arch/ia32/src/smp/mps.c	(revision 6ba143dce31ac1490fdc2b36456012f4baadf10c)
@@ -290,5 +290,5 @@
 #ifdef MPSCT_VERBOSE
 	char buf[7];
-	memcopy((__address) bus->bus_type, (__address) buf,6);
+	memcopy((__address) bus->bus_type, (__address) buf, 6);
 	buf[6] = 0;
 	printf("bus%d: %s\n", bus->bus_id, buf);