Index: test/synch/rwlock4/test.c
===================================================================
--- test/synch/rwlock4/test.c	(revision 9c0a9b3057ce928cdefd80ab4215be954d01adb1)
+++ test/synch/rwlock4/test.c	(revision 3e1607ff14f3c949def02159362bdb45145e5bc7)
@@ -34,4 +34,5 @@
 #include <arch/types.h>
 #include <arch/context.h>
+#include <context.h>
 #include <panic.h>