--- 2.4.19pre10aa3/include/linux/sched.h.~1~	Thu Jun 20 05:53:35 2002
+++ 2.4.19pre10aa3/include/linux/sched.h	Thu Jun 20 06:20:38 2002
@@ -165,6 +165,8 @@ extern void flush_scheduled_tasks(void);
 extern int start_context_thread(void);
 extern int current_is_keventd(void);
 extern void force_cpu_reschedule(int cpu);
+extern void FASTCALL(sched_exit(task_t * p));
+extern int FASTCALL(idle_cpu(int cpu));
 
 /*
  * The maximum RT priority is configurable.  If the resulting