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