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