Index: test/synch/rwlock4/test.c
===================================================================
--- test/synch/rwlock4/test.c	(revision 34b20f5d489985b2fc7632ad2bc10d24bc936c27)
+++ test/synch/rwlock4/test.c	(revision 7f1bfceb9210d208482652a9028d8dc7c11acd79)
@@ -34,4 +34,5 @@
 #include <arch/types.h>
 #include <arch/context.h>
+#include <panic.h>
 
 #include <synch/waitq.h>