diff --git a/kernel/sched.c b/kernel/sched.c index 2d23450e761..7ce959e0b69 100644 --- a/kernel/sched.c +++ b/kernel/sched.c @@ -22,7 +22,7 @@ #include #include #include -#include +#include #include #include #include @@ -53,9 +53,9 @@ #include #include #include +#include #include -#include /* * Scheduler clock - returns current time in nanosec units.