Index: kernel/arch/ppc64/src/mm/page.c
===================================================================
--- kernel/arch/ppc64/src/mm/page.c	(revision bfce7d954add940561c1e2a8aefd67aa0a87cb83)
+++ kernel/arch/ppc64/src/mm/page.c	(revision 4ad8f1943b4600d60ed13d3982599958580d18e4)
@@ -104,5 +104,4 @@
 			case AS_PF_FAULT:
 				page_table_lock(as, lock);
-				printf("Page fault.\n");
 				*pfrc = rc;
 				return NULL;