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 7e6c9eb1727ba6de8775beb4d6c6ac964c1ddcdb)
@@ -104,5 +104,4 @@
 			case AS_PF_FAULT:
 				page_table_lock(as, lock);
-				printf("Page fault.\n");
 				*pfrc = rc;
 				return NULL;