Index: kernel/test/fault/fault1.c
===================================================================
--- kernel/test/fault/fault1.c	(revision 7e13972376409556e7702732a07422be7d7fe16f)
+++ kernel/test/fault/fault1.c	(revision 95155b0cd020d126e09ca42230ae0a4dce3f296c)
@@ -38,5 +38,5 @@
 
 
-char * test_fault1(void)
+char * test_fault1(bool quiet)
 {
 	((int *)(0))[1] = 0;