Index: init/init.c
===================================================================
--- init/init.c	(revision d3b8c1f31bda0f5c4dd95a66e1efc302fb697726)
+++ init/init.c	(revision 432c648cd952eb152b9ab227ed8dce288cc3e360)
@@ -37,4 +37,5 @@
 #include <psthread.h>
 #include <futex.h>
+#include <as.h>
 
 int a;