scheduler: Use get_uptime() since it caches the result

Apparently getting the current TSC is a expensive operation. This change
had a significant improvements for I/O heavy applications.

1 files changed, 1 insertions, 1 deletions

diff --git a/kernel/init/kernel.c b/kernel/init/kernel.c
index 868cfb1..61e863b 100644
--- a/kernel/init/kernel.c
+++ b/kernel/init/kernel.c
@@ -131,7 +131,7 @@ void kernel_main(u32 kernel_end, unsigned long magic, unsigned long addr,
     }
   }
   for (;;) {
-    current_task->sleep_until = timer_get_ms() + 100000000;
+    current_task->sleep_until = timer_get_uptime() + 100000000;
     wait_for_interrupt();
   }
 }