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