Index: kernel/arch/ia32/src/smp/mps.c
===================================================================
--- kernel/arch/ia32/src/smp/mps.c	(revision 7f043c0d4fa344ed23d99c9baa9f11cdac734176)
+++ kernel/arch/ia32/src/smp/mps.c	(revision de7663fb0ae74743dc4eb0f110341bf66804710f)
@@ -193,5 +193,5 @@
 	if (fs->config_type == 0 && fs->configuration_table) {
 		if (fs->mpfib2 >> 7) {
-			printf("%s: PIC mode not supported\n", __FUNCTION__);
+			printf("%s: PIC mode not supported\n", __func__);
 			return;
 		}
@@ -212,13 +212,13 @@
 		
 	if (ct->signature != CT_SIGNATURE) {
-		printf("%s: bad ct->signature\n", __FUNCTION__);
+		printf("%s: bad ct->signature\n", __func__);
 		return 1;
 	}
 	if (!mps_ct_check()) {
-		printf("%s: bad ct checksum\n", __FUNCTION__);
+		printf("%s: bad ct checksum\n", __func__);
 		return 1;
 	}
 	if (ct->oem_table) {
-		printf("%s: ct->oem_table not supported\n", __FUNCTION__);
+		printf("%s: ct->oem_table not supported\n", __func__);
 		return 1;
 	}
@@ -275,5 +275,5 @@
 				 */
 				 
-				printf("%s: ct badness\n", __FUNCTION__);
+				printf("%s: ct badness\n", __func__);
 				return 1;
 		}
@@ -292,5 +292,5 @@
 	 * Not yet implemented.
 	 */
-	printf("%s: not supported\n", __FUNCTION__);
+	printf("%s: not supported\n", __func__);
 	return 1;
 }