X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=Kernel%2Fthreads.c;h=7114745ac09d6b3af4139199ffe308f6f27163fb;hb=28eafc7611ec3d3f840845ec2b54025affd7bc1e;hp=fa6f6e0f57b4350c8120496861b9001c9dfcae46;hpb=7b122b34446686ff465b673cfb91419e4e98491d;p=tpg%2Facess2.git

diff --git a/Kernel/threads.c b/Kernel/threads.c
index fa6f6e0f..7114745a 100644
--- a/Kernel/threads.c
+++ b/Kernel/threads.c
@@ -9,6 +9,7 @@
 #include <errno.h>
 #include <mutex.h>
 #include <semaphore.h>
+#include <hal_proc.h>
 
 // Configuration
 #define DEBUG_TRACE_TICKETS	0	// Trace ticket counts
@@ -34,10 +35,6 @@ const enum eConfigTypes	cCONFIG_TYPES[] = {
 };
 
 // === IMPORTS ===
-extern void	ArchThreads_Init(void);
-extern void	Proc_CallFaultHandler(tThread *Thread);
-extern void	Proc_DumpThreadCPUState(tThread *Thread);
-extern int	GetCPUNum(void);
 
 // === PROTOTYPES ===
 void	Threads_Init(void);