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