X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=KernelLand%2FKernel%2Finclude%2Fhal_proc.h;h=c65251dcd2e1411c947a85329bb713b6aa76bf49;hb=fabb7ed39828c58b044f9c2b4f27f55b96c6d56a;hp=0f21a1c792804bce1dabcb991b544ff49038214c;hpb=48743e39650eb1ef988380e9d95f27fd40d3a9ce;p=tpg%2Facess2.git

diff --git a/KernelLand/Kernel/include/hal_proc.h b/KernelLand/Kernel/include/hal_proc.h
index 0f21a1c7..c65251dc 100644
--- a/KernelLand/Kernel/include/hal_proc.h
+++ b/KernelLand/Kernel/include/hal_proc.h
@@ -13,6 +13,7 @@
  * \brief Achitecture defined thread/process management functions
  */
 
+#include <threads.h>
 #include <threads_int.h>
 
 /**