Index: include/proc/scheduler.h
===================================================================
--- include/proc/scheduler.h	(revision 623ba26cebeeb6b5afb464b85e601401a15fb7ee)
+++ include/proc/scheduler.h	(revision 315658278d687936226e1093e482b272fcfe7720)
@@ -52,4 +52,5 @@
 extern void scheduler_init(void);
 
+extern void scheduler_fpu_lazy_request(void);
 extern void scheduler(void);
 extern void kcpulb(void *arg);