Added #include for sys/vcore-tls.h for x86
authorKevin Klues <klueska@cs.berkeley.edu>
Thu, 17 May 2012 16:10:37 +0000 (09:10 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 17 May 2012 16:10:37 +0000 (09:10 -0700)
user/parlib/include/i686/vcore.h

index 251d9c3..bb31e6a 100644 (file)
@@ -6,6 +6,7 @@
 #include <ros/procdata.h>
 #include <ros/syscall.h>
 #include <ros/arch/mmu.h>
+#include <sys/vcore-tls.h>
 
 /* Pops an ROS kernel-provided TF, reanabling notifications at the same time.
  * A Userspace scheduler can call this when transitioning off the transition