add support to GIC ITS, and the MSI service base on it

[lunaix-os.git] / lunaix-os / arch / x86 / arch.c

diff --git a/lunaix-os/arch/x86/arch.c b/lunaix-os/arch/x86/arch.c
index 988f97654a4a25cc9beda371425b463da175898e..f29b59840941128b9a5dd912d6691997f243e146 100644 (file)
--- a/lunaix-os/arch/x86/arch.c
+++ b/lunaix-os/arch/x86/arch.c
@@ -1,12 +1,12 @@
 #include <hal/hwtimer.h>
 
 #include <hal/hwtimer.h>
 

-#include <lunaix/generic/isrm.h>

 #include <lunaix/spike.h>
 #include <lunaix/process.h>
 
 #include <lunaix/spike.h>
 #include <lunaix/process.h>
 

-#include "sys/int_handler.h"
-#include "sys/x86_isa.h"
-#include "sys/hart.h"
+#include <asm/x86_isrm.h>
+
+#include "asm/x86.h"
+#include "asm/hart.h"

 
 #include "hal/apic_timer.h"
 
 
 #include "hal/apic_timer.h"
 


@@ -41,7 +41,7 @@ select_platform_timer()
 
     // TODO select alternatives...
 
 
     // TODO select alternatives...
 

-    panick("no timer to use.");
+    fail("no timer to use.");

 }
 
 void
 }
 
 void