+extern funnel_t *funnel_alloc(
+ int type);
+
+extern void funnel_free(
+ funnel_t *lock);
+
+extern void thread_read_times(
+ thread_t thread,
+ time_value_t *user_time,
+ time_value_t *system_time);
+
+extern void thread_setuserstack(
+ thread_t thread,
+ mach_vm_offset_t user_stack);
+
+extern uint64_t thread_adjuserstack(
+ thread_t thread,
+ int adjust);
+
+extern void thread_setentrypoint(
+ thread_t thread,
+ mach_vm_offset_t entry);
+
+extern kern_return_t thread_wire_internal(
+ host_priv_t host_priv,
+ thread_t thread,
+ boolean_t wired,
+ boolean_t *prev_state);
+
+/* JMM - These are only temporary */
+extern boolean_t is_thread_running(thread_t); /* True is TH_RUN */
+extern boolean_t is_thread_idle(thread_t); /* True is TH_IDLE */
+
+extern kern_return_t thread_dup(thread_t);
+
+extern task_t get_threadtask(thread_t);
+
+extern void *get_bsdthread_info(thread_t);
+extern void set_bsdthread_info(thread_t, void *);
+extern void *uthread_alloc(task_t, thread_t);
+extern void uthread_free(task_t, void *, void *);