3 files changed, 9 insertions, 6 deletions
diff --git a/i386/i386/pcb.c b/i386/i386/pcb.c
index bb30959..02627ae 100644
--- a/i386/i386/pcb.c
+++ b/i386/i386/pcb.c
@@ -60,12 +60,6 @@
 #include <i386/mp_desc.h>
 #endif
 
-extern thread_t	Load_context();
-extern thread_t	Switch_context();
-extern void	Thread_continue();
-
-extern void		user_ldt_free();
-
 struct kmem_cache	pcb_cache;
 
 vm_offset_t	kernel_stack[NCPUS];	/* top of active_stack */
diff --git a/i386/i386/pcb.h b/i386/i386/pcb.h
index 9edc594..cea2fe2 100644
--- a/i386/i386/pcb.h
+++ b/i386/i386/pcb.h
@@ -72,4 +72,10 @@ extern void switch_ktss (pcb_t pcb);
 
 extern void update_ktss_iopb (unsigned char *new_iopb, io_port_t size);
 
+extern thread_t Load_context (thread_t new);
+
+extern thread_t Switch_context (thread_t old, void (*continuation)(), thread_t new);
+
+extern void Thread_continue (void);
+
 #endif /* _I386_PCB_H_ */
diff --git a/i386/i386/user_ldt.h b/i386/i386/user_ldt.h
index c90273f..26caa27 100644
--- a/i386/i386/user_ldt.h
+++ b/i386/i386/user_ldt.h
@@ -44,4 +44,7 @@ struct user_ldt {
 };
 typedef struct user_ldt *	user_ldt_t;
 
+extern void
+user_ldt_free(user_ldt_t user_ldt);
+
 #endif	/* _I386_USER_LDT_H_ */