Changeset ec04b20 in mainline for kernel/arch/ia32xen/src/ia32xen.c

Timestamp:

2006-10-27T13:56:25Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

410ed0d

Parents:

8607db8

Message:

ia32xen: adopt new IRQ interface

File:

• kernel/arch/ia32xen/src/ia32xen.c (modified) (3 diffs)

kernel/arch/ia32xen/src/ia32xen.c

@@ -62 +62 @@
 #include <syscall/syscall.h>
 #include <console/console.h>
+#include <ddi/irq.h>
 
 start_info_t start_info;
@@ -129 +130 @@
 
         if (config.cpu_active == 1) {
+                interrupt_init();
 //              bios_init();
                 
-                exc_register(VECTOR_SYSCALL, "syscall", (iroutine) syscall);
-                
-                #ifdef CONFIG_SMP
-                exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown",
-                             (iroutine) tlb_shootdown_ipi);
-                #endif /* CONFIG_SMP */
         }
 }
@@ -143 +139 @@
 {
         if (config.cpu_active == 1) {
-                /* video */
+                /* Initialize IRQ routing */
+                irq_init(IRQ_COUNT, IRQ_COUNT);
+                
+                /* Video */
                 xen_console_init();
+                
                 /* Enable debugger */
                 debugger_init();
+                
                 /* Merge all memory zones to 1 big zone */
                 zone_merge_all();