X-Git-Url: https://scm.lunaixsky.com/lunaix-os.git/blobdiff_plain/76175f34b86c84044cd2b944a581575ade056f7b..6942ebae59c3904674dce6b67cd07c43a3bbe00d:/lunaix-os/arch/x86/arch.c

diff --git a/lunaix-os/arch/x86/arch.c b/lunaix-os/arch/x86/arch.c
index 533ded9..e98bdd9 100644
--- a/lunaix-os/arch/x86/arch.c
+++ b/lunaix-os/arch/x86/arch.c
@@ -1,9 +1,10 @@
 #include <hal/hwtimer.h>
 
-#include <asm-generic/isrm.h>
 #include <lunaix/spike.h>
 #include <lunaix/process.h>
 
+#include <asm/x86_isrm.h>
+
 #include "asm/x86.h"
 #include "asm/hart.h"
 
@@ -28,21 +29,6 @@ arch_preinit()
     isrm_bindiv(LUNAIX_SYS_CALL, syscall_hndlr);
 }
 
-struct hwtimer*
-select_platform_timer()
-{
-    struct hwtimer* timer;
-
-    timer = apic_hwtimer_context();
-    if (timer->supported(timer)) {
-        return timer;
-    }
-
-    // TODO select alternatives...
-
-    fail("no timer to use.");
-}
-
 void
 update_tss()
 {