Index: test/synch/rwlock4/test.c
===================================================================
--- test/synch/rwlock4/test.c	(revision 6e787c41b47a6c433353188327c83128dc6ad05a)
+++ test/synch/rwlock4/test.c	(revision 8f917297887ddc3e33feb7dbd42d7c10de978bc2)
@@ -34,4 +34,5 @@
 #include <arch/types.h>
 #include <arch/context.h>
+#include <context.h>
 #include <panic.h>