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