Index: kernel/test/fault/fault1.c
===================================================================
--- kernel/test/fault/fault1.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/test/fault/fault1.c	(revision cee8d3e109ecfcf59fb15c03ff1c4a23c5e3ac81)
@@ -37,6 +37,5 @@
 #include <arch.h>
 
-
-char * test_fault1(bool quiet)
+char *test_fault1(void)
 {
 	((int *)(0))[1] = 0;