From 4ade8ff9e6c4185ebe45ecfe183668f28e1525b7 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Sat, 16 Sep 2023 20:48:28 +0200
Subject: kernel/amd64: add HPET support, slightly rework time handling

---
 src/kernel/arch/generic.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/kernel/arch/generic.h')

diff --git a/src/kernel/arch/generic.h b/src/kernel/arch/generic.h
index 647badc..a6a14c9 100644
--- a/src/kernel/arch/generic.h
+++ b/src/kernel/arch/generic.h
@@ -23,8 +23,8 @@ void shutdown(void);
 /** on x86: waits for an IRQ */
 void cpu_pause(void);
 
-uint64_t uptime_ms(void);
-void timer_schedule(Proc *p, uint64_t time);
+uint64_t uptime_ns(void);
+void timer_schedule(Proc *p, uint64_t ns);
 void timer_deschedule(Proc *p);
 
 // src/arch/i386/sysenter.s
-- 
cgit v1.2.3